Package org.projog.clp

Class ClpConstraintStore

java.lang.Object

org.projog.clp.ClpConstraintStore

All Implemented Interfaces:

ConstraintStore, ReadConstraintStore

public final class ClpConstraintStore
extends java.lang.Object
implements ConstraintStore

A collection of constraints and variables that represent a problem domain.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ClpConstraintStore.Builder
static class	ClpConstraintStore.Enforce
static class	ClpConstraintStore.EnforceAll

Field Summary

Fields

Modifier and Type	Field	Description
private int	constraintCtr
private java.util.Queue<java.lang.Integer>	constraintQueue
private Constraint[]	constraints
private java.util.Map<Variable,java.util.List<java.lang.Integer>>	constraintsByVariable
private int	variableCtr
private Variable[]	variables
private VariableState[]	variableStates

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ClpConstraintStore(ClpConstraintStore original)
private	ClpConstraintStore(ClpConstraintStore.Builder b)

Method Summary

Modifier and Type	Method	Description
(package private) ClpConstraintStore	copy()
private VariableState	getExpression(Expression e)
long	getMax(Expression id)
long	getMin(Expression id)
long	getValue(Variable id)
Variable	getVariable(int idx)
int	getVariablesCount()
VariableState	getVariableState(int idx)
boolean	resolve()
ExpressionResult	setMax(Expression id, long max)
ExpressionResult	setMin(Expression id, long min)
ExpressionResult	setNot(Expression id, long not)
ExpressionResult	setValue(Expression id, long value)
private ExpressionResult	update(Expression e, VariableStateResult r)

Methods inherited from class java.lang.Object

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

Field Detail

variableCtr

private final int variableCtr

variables

private final Variable[] variables

variableStates

private final VariableState[] variableStates

constraintCtr

private final int constraintCtr

constraints

private final Constraint[] constraints

constraintsByVariable

private final java.util.Map<Variable,java.util.List<java.lang.Integer>> constraintsByVariable

constraintQueue

private final java.util.Queue<java.lang.Integer> constraintQueue

Constructor Detail

ClpConstraintStore

private ClpConstraintStore(ClpConstraintStore.Builder b)

ClpConstraintStore

private ClpConstraintStore(ClpConstraintStore original)

Method Detail

copy

ClpConstraintStore copy()

getVariablesCount

public int getVariablesCount()

getVariable

public Variable getVariable(int idx)

getVariableState

public VariableState getVariableState(int idx)

getValue

public long getValue(Variable id)

update

private ExpressionResult update(Expression e,
                                VariableStateResult r)

resolve

public boolean resolve()

getExpression

private VariableState getExpression(Expression e)

getMin

public long getMin(Expression id)

Specified by:

getMin in interface ReadConstraintStore

getMax

public long getMax(Expression id)

Specified by:

getMax in interface ReadConstraintStore

setValue

public ExpressionResult setValue(Expression id,
                                 long value)

Specified by:

setValue in interface ConstraintStore

setMin

public ExpressionResult setMin(Expression id,
                               long min)

Specified by:

setMin in interface ConstraintStore

setMax

public ExpressionResult setMax(Expression id,
                               long max)

Specified by:

setMax in interface ConstraintStore

setNot

public ExpressionResult setNot(Expression id,
                               long not)

Specified by:

setNot in interface ConstraintStore