Package org.jacop.floats.constraints.linear

Class BNode

java.lang.Object

org.jacop.floats.constraints.linear.BinaryNode

org.jacop.floats.constraints.linear.BNode

Direct Known Subclasses:

RootBNode

public class BNode
extends BinaryNode

Field Summary

Fields

Modifier and Type	Field	Description
(package private) BoundsVar	bound

Fields inherited from class org.jacop.floats.constraints.linear.BinaryNode

id, left, n, parent, right

Constructor Summary

Constructors

Constructor	Description
BNode(Store store)
BNode(Store store, double min, double max)
BNode(Store store, double min, double max, double lb, double ub)

Method Summary

Modifier and Type	Method	Description
(package private) double	lb()
(package private) double	max()
(package private) double	min()
(package private) void	propagate()
(package private) void	propagateAndPrune()
(package private) void	prune()
(package private) void	prune(double min, double max)
(package private) boolean	pruneNode(double min, double max, BinaryNode node, BinaryNode sibling)
java.lang.String	toString()
(package private) double	ub()
(package private) void	updateBounds(double min, double max, double lb, double ub)

Methods inherited from class java.lang.Object

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

Field Detail

bound

BoundsVar bound

Constructor Detail

BNode

public BNode(Store store)

BNode

public BNode(Store store,
             double min,
             double max)

BNode

public BNode(Store store,
             double min,
             double max,
             double lb,
             double ub)

Method Detail

propagate

void propagate()

Specified by:

propagate in class BinaryNode

propagateAndPrune

void propagateAndPrune()

Specified by:

propagateAndPrune in class BinaryNode

prune

void prune()

Specified by:

prune in class BinaryNode

prune

void prune(double min,
           double max)

pruneNode

boolean pruneNode(double min,
                  double max,
                  BinaryNode node,
                  BinaryNode sibling)

min

double min()

Specified by:

min in class BinaryNode

max

double max()

Specified by:

max in class BinaryNode

lb

double lb()

Specified by:

lb in class BinaryNode

ub

double ub()

Specified by:

ub in class BinaryNode

updateBounds

void updateBounds(double min,
                  double max,
                  double lb,
                  double ub)

Specified by:

updateBounds in class BinaryNode

toString

public java.lang.String toString()

Overrides:

toString in class BinaryNode