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.8

Field Summary

Fields

Modifier and Type	Field	Description
(package private) IntVar	C
private ThetaLambdaNode	empty
private TaskView[]	orderedTasks
private ThetaLambdaNode[]	tree

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

n, treeSize

Constructor Summary

Constructors

Constructor	Description
ThetaLambdaTree(IntVar capacity)

Method Summary

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)

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

clearTree, 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

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)

clearNode

void clearNode(int i)

Specified by:

clearNode in class Tree

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 class java.lang.Object