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

Fields inherited from class org.jacop.constraints.cumulative.ThetaTree

n

Fields inherited from class org.jacop.constraints.cumulative.Tree

treeSize

Constructor Summary

Constructors

Constructor	Description
ThetaLambdaUnaryTree()

Method Summary

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

Methods inherited from class org.jacop.constraints.cumulative.Tree

exist, isLeft, isRight, isRoot, leafIndex, left, notExist, parent, plus, plus, right, root, siblingLeft, siblingRight

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

tree

ThetaLambdaUnaryNode[] tree

orderedTasks

TaskView[] orderedTasks

empty

ThetaLambdaUnaryNode empty

Constructor Detail

ThetaLambdaUnaryTree

public ThetaLambdaUnaryTree()

Method Detail

buildTree

public void buildTree(TaskView[] task)

Overrides:

buildTree in class ThetaTree

computeLeaveVals

void computeLeaveVals(int i)

Overrides:

computeLeaveVals in class ThetaTree

addToThetaInit

void addToThetaInit(int i)

Overrides:

addToThetaInit in class ThetaTree

computeNodeVals

void computeNodeVals(int i)

Overrides:

computeNodeVals in class ThetaTree

ect

int ect()

ectLambda

int ectLambda()

clearNode

void clearNode(int i)

Overrides:

clearNode in class ThetaTree

moveToLambda

void moveToLambda(int i)

removeFromLambda

void removeFromLambda(int i)

updateTree

void updateTree(int i)

Overrides:

updateTree in class ThetaTree

leaf

ThetaLambdaUnaryNode leaf(int i)

Overrides:

leaf in class ThetaTree

isLeaf

boolean isLeaf(int i)

Overrides:

isLeaf in class ThetaTree

rootNode

ThetaLambdaUnaryNode rootNode()

Overrides:

rootNode in class ThetaTree

get

ThetaLambdaUnaryNode get(int i)

Overrides:

get in class ThetaTree

printTree

public void printTree(java.lang.String name)

Overrides:

printTree in class ThetaTree

toGraph

public java.lang.String toGraph(java.lang.String name)

Overrides:

toGraph in class ThetaTree

treeToGraph

java.lang.StringBuffer treeToGraph(int i)

Overrides:

treeToGraph in class ThetaTree

toString

public java.lang.String toString()

Overrides:

toString in class ThetaTree