Package org.jacop.constraints.cumulative
Class ThetaLambdaUnaryTree
- java.lang.Object
-
- org.jacop.constraints.cumulative.Tree
-
- org.jacop.constraints.cumulative.ThetaTree
-
- org.jacop.constraints.cumulative.ThetaLambdaUnaryTree
-
class ThetaLambdaUnaryTree extends ThetaTree
Implements ThetaLambdaUnaryTree and operations on this tree for Cumulative constraint- Version:
- 4.8
-
-
Field Summary
Fields Modifier and Type Field Description (package private) ThetaLambdaUnaryNode
empty
(package private) TaskView[]
orderedTasks
(package private) ThetaLambdaUnaryNode[]
tree
-
Constructor Summary
Constructors Constructor Description ThetaLambdaUnaryTree()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
addToThetaInit(int i)
void
buildTree(TaskView[] task)
(package private) void
clearNode(int i)
(package private) void
computeLeaveVals(int i)
(package private) void
computeNodeVals(int i)
(package private) int
ect()
(package private) int
ectLambda()
(package private) ThetaLambdaUnaryNode
get(int i)
(package private) boolean
isLeaf(int i)
(package private) ThetaLambdaUnaryNode
leaf(int i)
(package private) void
moveToLambda(int i)
void
printTree(java.lang.String name)
(package private) void
removeFromLambda(int i)
(package private) ThetaLambdaUnaryNode
rootNode()
java.lang.String
toGraph(java.lang.String name)
java.lang.String
toString()
(package private) java.lang.StringBuffer
treeToGraph(int i)
(package private) void
updateTree(int i)
-
Methods inherited from class org.jacop.constraints.cumulative.ThetaTree
clearTree, ect, enableNode, initTree
-
-
-
-
Field Detail
-
tree
ThetaLambdaUnaryNode[] tree
-
orderedTasks
TaskView[] orderedTasks
-
empty
ThetaLambdaUnaryNode empty
-
-
Method Detail
-
computeLeaveVals
void computeLeaveVals(int i)
- Overrides:
computeLeaveVals
in classThetaTree
-
addToThetaInit
void addToThetaInit(int i)
- Overrides:
addToThetaInit
in classThetaTree
-
computeNodeVals
void computeNodeVals(int i)
- Overrides:
computeNodeVals
in classThetaTree
-
ect
int ect()
-
ectLambda
int ectLambda()
-
moveToLambda
void moveToLambda(int i)
-
removeFromLambda
void removeFromLambda(int i)
-
updateTree
void updateTree(int i)
- Overrides:
updateTree
in classThetaTree
-
leaf
ThetaLambdaUnaryNode leaf(int i)
-
rootNode
ThetaLambdaUnaryNode rootNode()
-
get
ThetaLambdaUnaryNode get(int i)
-
toGraph
public java.lang.String toGraph(java.lang.String name)
-
treeToGraph
java.lang.StringBuffer treeToGraph(int i)
- Overrides:
treeToGraph
in classThetaTree
-
-