Package org.jacop.constraints.cumulative
Class ThetaTree
- java.lang.Object
-
- org.jacop.constraints.cumulative.Tree
-
- org.jacop.constraints.cumulative.ThetaTree
-
- Direct Known Subclasses:
ThetaLambdaUnaryTree
class ThetaTree extends Tree
Implements ThetaTree and operations on this tree for Cumulative constraint- Version:
- 4.7
-
-
Constructor Summary
Constructors Constructor Description ThetaTree()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private void
addLeave(int i)
private void
addNode(int i)
(package private) void
addToThetaInit(int i)
void
buildTree(TaskView[] task)
(package private) void
clearNode(int i)
(package private) void
clearTree()
(package private) void
computeLeaveVals(int i)
private void
computeNode(int i)
(package private) void
computeNodeVals(int i)
private void
disableNode(int i)
(package private) int
ect(int i)
(package private) void
enableNode(int i)
(package private) ThetaNode
get(int i)
void
initTree(TaskView[] task)
(package private) boolean
isLeaf(int i)
(package private) ThetaNode
leaf(int i)
private int
leaveIndex(int i)
void
printTree(java.lang.String name)
(package private) ThetaNode
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)
-
-
-
Method Detail
-
buildTree
public void buildTree(TaskView[] task)
-
initTree
public void initTree(TaskView[] task)
-
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)
-
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
ThetaNode leaf(int i)
-
isLeaf
boolean isLeaf(int i)
-
rootNode
ThetaNode rootNode()
-
get
ThetaNode 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
-
-