org.metacsp.multi.temporalRectangleAlgebra

Class SpatialFluentSolver

java.lang.Object

org.metacsp.framework.ConstraintSolver

org.metacsp.framework.multi.MultiConstraintSolver

org.metacsp.multi.temporalRectangleAlgebra.SpatialFluentSolver

All Implemented Interfaces:

java.io.Serializable

public class SpatialFluentSolver
extends MultiConstraintSolver

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.metacsp.framework.multi.MultiConstraintSolver

MultiConstraintSolver.OPTIONS

Field Summary

Fields

Modifier and Type	Field and Description
protected int	IDs

Fields inherited from class org.metacsp.framework.multi.MultiConstraintSolver

constraintSolvers, ingredients

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
SpatialFluentSolver(long origin, long horizon)
SpatialFluentSolver(long origin, long horizon, int maxFluent)

Method Summary

Modifier and Type	Method and Description
boolean	propagate() Propagate the constraint network.

Methods inherited from class org.metacsp.framework.multi.MultiConstraintSolver

addConstraintsSub, createVariablesSub, createVariablesSub, createVariablesSub, drawConstraintNetworkHierarchy, drawConstraintSolverHierarchy, failurePruning, getConstraintNetworkHierarchy, getConstraintNetworksFromSolverHierarchy, getConstraintSolver, getConstraintSolverHierarchy, getConstraintSolvers, getConstraintSolversFromConstraintSolverHierarchy, getDescription, getOption, registerValueChoiceFunctions, removeConstraintsSub, removeVariablesSub, setConstraintSolver, setIngredients, setOptions

Methods inherited from class org.metacsp.framework.ConstraintSolver

addConstraint, addConstraintNoPropagation, addConstraints, addConstraintsDebug, addConstraintsNoPropagation, containsVariable, createVariable, createVariable, createVariables, createVariables, deplenish, getComponent, getComponents, getConstraintNetwork, getConstraints, getConstraints, 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

Field Detail

IDs

protected int IDs

Constructor Detail

SpatialFluentSolver

public SpatialFluentSolver(long origin,
                           long horizon)

SpatialFluentSolver

public SpatialFluentSolver(long origin,
                           long horizon,
                           int maxFluent)

Method Detail

propagate

public boolean propagate()

Description copied from class: ConstraintSolver

Propagate the constraint network.

Specified by:

propagate in class MultiConstraintSolver

Returns:

A boolean value indicating whether propagation was successful.