org.metacsp.time.qualitative

Class QualitativeAllenSolver

java.lang.Object

org.metacsp.framework.ConstraintSolver

org.metacsp.time.qualitative.QualitativeAllenSolver

All Implemented Interfaces:

java.io.Serializable

public class QualitativeAllenSolver
extends ConstraintSolver

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.metacsp.framework.ConstraintSolver

ConstraintSolver.OPTIONS

Field Summary

Fields inherited from class org.metacsp.framework.ConstraintSolver

autoprop, components, constraintTypes, logger, name, nesting, noPropOnVarCreation, numcalls, skipPropagation, spacing, theNetwork, variableType

Constructor Summary

Constructors

Constructor and Description
QualitativeAllenSolver()

Method Summary

Modifier and Type	Method and Description
protected boolean	addConstraintsSub(Constraint[] c) This method must be implemented by the developer of the specific ConstraintSolver class.
protected Variable[]	createVariablesSub(int num) This method must be implemented by the developer of the specific ConstraintSolver class.
ConstraintNetwork	getConstraintNetwork() Get the ConstraintNetwork of this ConstraintSolver.
boolean	propagate() Propagate the constraint network.
void	registerValueChoiceFunctions()
protected void	removeConstraintsSub(Constraint[] c) This method must be implemented by the developer of the specific ConstraintSolver class.
protected void	removeVariablesSub(Variable[] v) This method must be implemented by the developer of the specific ConstraintSolver class.

Methods inherited from class org.metacsp.framework.ConstraintSolver

addConstraint, addConstraintNoPropagation, addConstraints, addConstraintsDebug, addConstraintsNoPropagation, containsVariable, createVariable, createVariable, createVariables, createVariables, createVariablesSub, deplenish, getComponent, getComponents, getConstraints, getConstraints, getDescription, getID, getOption, getVariable, getVariables, getVariables, getVariables, isCompatible, maskConstraints, removeConstraint, removeConstraints, removeVariable, removeVariables, setComponent, setComponents, setConstraintNetwork, setName, setOptions, toString, unmaskConstraints

Methods inherited from class java.lang.Object

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

Constructor Detail

QualitativeAllenSolver

public QualitativeAllenSolver()

Method Detail

propagate

public boolean propagate()

Description copied from class: ConstraintSolver

Propagate the constraint network.

Specified by:

propagate in class ConstraintSolver

Returns:

A boolean value indicating whether propagation was successful.

getConstraintNetwork

public ConstraintNetwork getConstraintNetwork()

Description copied from class: ConstraintSolver

Get the ConstraintNetwork of this ConstraintSolver.

Overrides:

getConstraintNetwork in class ConstraintSolver

Returns:

the ConstraintNetwork of this ConstraintSolver.

addConstraintsSub

protected boolean addConstraintsSub(Constraint[] c)

Description copied from class: ConstraintSolver

This method must be implemented by the developer of the specific ConstraintSolver class. It should implement all operations necessary to add multiple constraints, and should return true upon success, false otherwise.

Specified by:

addConstraintsSub in class ConstraintSolver

Parameters:

c - The constraints to add.

Returns:

true iff the constraints were added to the ConstraintNetwork.

removeConstraintsSub

protected void removeConstraintsSub(Constraint[] c)

Description copied from class: ConstraintSolver

This method must be implemented by the developer of the specific ConstraintSolver class. Should implement all operations necessary to remove a batch of constraints.

Specified by:

removeConstraintsSub in class ConstraintSolver

Parameters:

c - The constraints to remove.

createVariablesSub

protected Variable[] createVariablesSub(int num)

Description copied from class: ConstraintSolver

This method must be implemented by the developer of the specific ConstraintSolver class. It should implement all operations necessary to create a batch of variable for the specific type of ConstraintSolver.

Specified by:

createVariablesSub in class ConstraintSolver

Parameters:

num - The number of variables to create.

Returns:

A batch of new Variable for this ConstraintSolver.

removeVariablesSub

protected void removeVariablesSub(Variable[] v)

Description copied from class: ConstraintSolver

This method must be implemented by the developer of the specific ConstraintSolver class. It should implement all operations necessary to remove a batch of variables for the specific type of ConstraintSolver.

Specified by:

removeVariablesSub in class ConstraintSolver

Parameters:

v - The Variables to remove.

registerValueChoiceFunctions

public void registerValueChoiceFunctions()

Specified by:

registerValueChoiceFunctions in class ConstraintSolver