Package org.jacop.constraints.cumulative
Class ThetaTree
java.lang.Object
org.jacop.constraints.cumulative.Tree
org.jacop.constraints.cumulative.ThetaTree
- Direct Known Subclasses:
ThetaLambdaUnaryTree
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate voidaddLeave(int i) private voidaddNode(int i) (package private) voidaddToThetaInit(int i) void(package private) voidclearNode(int i) (package private) void(package private) voidcomputeLeaveVals(int i) private voidcomputeNode(int i) (package private) voidcomputeNodeVals(int i) private voiddisableNode(int i) (package private) intect(int i) (package private) voidenableNode(int i) (package private) ThetaNodeget(int i) void(package private) booleanisLeaf(int i) (package private) ThetaNodeleaf(int i) private intleaveIndex(int i) void(package private) ThetaNoderootNode()toString()(package private) StringBuffertreeToGraph(int i) (package private) voidupdateTree(int i)
-
Field Details
-
n
int n -
tree
-
orderedTasks
-
empty
-
-
Constructor Details
-
ThetaTree
public ThetaTree()
-
-
Method Details
-
buildTree
-
initTree
-
addLeave
private void addLeave(int i) -
computeLeaveVals
void computeLeaveVals(int i) -
addToThetaInit
void addToThetaInit(int i) -
computeNodeVals
void computeNodeVals(int i) -
addNode
private void addNode(int i) -
computeNode
private void computeNode(int i) -
clearNode
void clearNode(int i) -
clearTree
void clearTree() -
updateTree
void updateTree(int i) -
enableNode
void enableNode(int i) -
disableNode
private void disableNode(int i) -
ect
int ect(int i) -
leaveIndex
private int leaveIndex(int i) -
leaf
-
isLeaf
boolean isLeaf(int i) -
rootNode
ThetaNode rootNode() -
get
-
printTree
-
toGraph
-
treeToGraph
-
toString
-