org.metacsp.multi.spatioTemporal

Class SpatioTemporalVariableSolver

java.lang.Object

org.metacsp.framework.ConstraintSolver

org.metacsp.framework.multi.MultiConstraintSolver

org.metacsp.multi.spatioTemporal.SpatioTemporalVariableSolver

All Implemented Interfaces:

java.io.Serializable

public class SpatioTemporalVariableSolver
extends MultiConstraintSolver

A MultiConstraintSolver for SpatioTemporalVariables. Constraints of type AllenIntervalConstraint and DE9IMRelation can be added to SpatioTemporalVariables.

Author:

Federico Pecora

See Also:

Serialized Form

Nested Class Summary

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

MultiConstraintSolver.OPTIONS

Field Summary

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

constraintSolvers, ingredients

Fields inherited from class org.metacsp.framework.ConstraintSolver

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SpatioTemporalVariableSolver(java.lang.Class<?>[] constraintTypes, java.lang.Class<?> variableType, ConstraintSolver[] internalSolvers, int[] ingredients)
	SpatioTemporalVariableSolver(long origin, long horizon) Create a SpatioTemporalVariableSolver with given temporal origin and horizon.

Method Summary

Modifier and Type	Method and Description
DE9IMRelationSolver	getSpatialSolver() Returns the DE9IMRelationSolver which propagates spatial constraints (of type DE9IMRelation) among the spatial parts (GeometricShapeVariables) of SpatioTemporalVariables.
AllenIntervalNetworkSolver	getTemporalSolver() Returns the AllenIntervalNetworkSolver which propagates temporal constraints (of type AllenIntervalConstraint) among the temporal parts (AllenIntervals) of SpatioTemporalVariables.
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

Constructor Detail

SpatioTemporalVariableSolver

protected SpatioTemporalVariableSolver(java.lang.Class<?>[] constraintTypes,
                                       java.lang.Class<?> variableType,
                                       ConstraintSolver[] internalSolvers,
                                       int[] ingredients)

SpatioTemporalVariableSolver

public SpatioTemporalVariableSolver(long origin,
                                    long horizon)

Create a SpatioTemporalVariableSolver with given temporal origin and horizon.

Parameters:

origin - The origin of the temporal solver underlying this SpatioTemporalVariableSolver.

horizon - The horizon of the temporal solver underlying this SpatioTemporalVariableSolver.

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.

getTemporalSolver

public AllenIntervalNetworkSolver getTemporalSolver()

Returns the AllenIntervalNetworkSolver which propagates temporal constraints (of type AllenIntervalConstraint) among the temporal parts (AllenIntervals) of SpatioTemporalVariables.

Returns:

The temporal solver responsible for propagating the temporal constraints among the temporal parts of SpatioTemporalVariables.

getSpatialSolver

public DE9IMRelationSolver getSpatialSolver()

Returns the DE9IMRelationSolver which propagates spatial constraints (of type DE9IMRelation) among the spatial parts (GeometricShapeVariables) of SpatioTemporalVariables.

Returns:

The spatial solver responsible for propagating the spatial constraints among the spatial parts of SpatioTemporalVariables.