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

Field Summary

Fields

Modifier and Type	Field	Description
private ThetaNode	empty
(package private) int	n
private TaskView[]	orderedTasks
private ThetaNode[]	tree

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

treeSize

Constructor Summary

Constructors

Constructor	Description
ThetaTree()

Method Summary

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)

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

n

int n

tree

private ThetaNode[] tree

orderedTasks

private TaskView[] orderedTasks

empty

private ThetaNode empty

Constructor Detail

ThetaTree

public ThetaTree()

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)

clearNode

void clearNode(int i)

Specified by:

clearNode in class Tree

clearTree

void clearTree()

Overrides:

clearTree in class Tree

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