Package org.jacop.constraints.cumulative
Class ThetaLambdaTree
- java.lang.Object
-
- org.jacop.constraints.cumulative.Tree
-
- org.jacop.constraints.cumulative.ThetaLambdaTree
-
class ThetaLambdaTree extends Tree
Implements ThetaLambdaTree and operations on this tree for Cumulative constraint- Version:
- 4.7
-
-
Field Summary
Fields Modifier and Type Field Description (package private) IntVar
C
private ThetaLambdaNode
empty
private TaskView[]
orderedTasks
private ThetaLambdaNode[]
tree
-
Constructor Summary
Constructors Constructor Description ThetaLambdaTree(IntVar capacity)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private void
addToThetaInit(int i)
void
buildTree(TaskView[] task)
(package private) long
calcEnvlc(long bound, long c)
(package private) void
clearNode(int i)
private void
computeLeaveVals(int i)
private void
computeNodeVals(int i)
private void
computeThetaNode(int i)
(package private) void
disableNode(int i)
(package private) void
enableNode(int i, long ci)
(package private) ThetaLambdaNode
get(int i)
(package private) IntVar
getCapacity()
private boolean
isLeaf(int i)
(package private) ThetaLambdaNode
leaf(int i)
(package private) void
moveToLambda(int i)
void
printTree(java.lang.String name)
(package private) void
removeFromLambda(int i)
(package private) ThetaLambdaNode
rootNode()
(package private) void
setCapacity(IntVar capacity)
java.lang.String
toGraph(java.lang.String name)
java.lang.String
toString()
(package private) java.lang.StringBuffer
treeToGraph(int i)
private void
updateThetaTree(int i)
private void
updateTree(int i)
-
-
-
Field Detail
-
tree
private ThetaLambdaNode[] tree
-
C
IntVar C
-
orderedTasks
private TaskView[] orderedTasks
-
empty
private ThetaLambdaNode empty
-
-
Constructor Detail
-
ThetaLambdaTree
public ThetaLambdaTree(IntVar capacity)
-
-
Method Detail
-
buildTree
public void buildTree(TaskView[] task)
-
computeLeaveVals
private void computeLeaveVals(int i)
-
addToThetaInit
private void addToThetaInit(int i)
-
computeNodeVals
private void computeNodeVals(int i)
-
computeThetaNode
private void computeThetaNode(int i)
-
updateThetaTree
private void updateThetaTree(int i)
-
enableNode
void enableNode(int i, long ci)
-
disableNode
void disableNode(int i)
-
moveToLambda
void moveToLambda(int i)
-
removeFromLambda
void removeFromLambda(int i)
-
updateTree
private void updateTree(int i)
-
calcEnvlc
long calcEnvlc(long bound, long c)
-
getCapacity
IntVar getCapacity()
-
setCapacity
void setCapacity(IntVar capacity)
-
leaf
ThetaLambdaNode leaf(int i)
-
isLeaf
private boolean isLeaf(int i)
-
rootNode
ThetaLambdaNode rootNode()
-
get
ThetaLambdaNode get(int i)
-
printTree
public void printTree(java.lang.String name)
-
toGraph
public java.lang.String toGraph(java.lang.String name)
-
treeToGraph
java.lang.StringBuffer treeToGraph(int i)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-