org.metacsp.multi.allenInterval

Class AllenIntervalNetworkSolver

java.lang.Object

org.metacsp.framework.ConstraintSolver

org.metacsp.framework.multi.MultiConstraintSolver

org.metacsp.multi.allenInterval.AllenIntervalNetworkSolver

All Implemented Interfaces:

java.io.Serializable

public class AllenIntervalNetworkSolver
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 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	AllenIntervalNetworkSolver(java.lang.Class<?>[] constraintTypes, java.lang.Class<?> variableType, ConstraintSolver[] internalSolvers, int[] ingredients)
	AllenIntervalNetworkSolver(long origin, long horizon)
	AllenIntervalNetworkSolver(long origin, long horizon, int maxActivities)

Method Summary

Modifier and Type	Method and Description
int	bookmark()
protected static ConstraintSolver[]	createConstraintSolvers(long origin, long horizon, int maxActivities)
Bounds	getAdmissibleDistanceBounds(TimePoint tpTo) Get the minimum and maximum allowed distance between the global source and a TimePoint.
Bounds	getAdmissibleDistanceBounds(TimePoint tpFrom, TimePoint tpTo) Gets the minimum and maximum allowed distance between a pair of TimePoints.
long	getHorizon() Get the temporal horizon.
long	getOrigin() Get the origin of time.
double	getRigidityNumber()
int	numBookmarks()
boolean	propagate() Propagate the constraint network.
void	removeBookmark(int i)
void	revert(int i)

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

AllenIntervalNetworkSolver

public AllenIntervalNetworkSolver(long origin,
                                  long horizon,
                                  int maxActivities)

AllenIntervalNetworkSolver

public AllenIntervalNetworkSolver(long origin,
                                  long horizon)

AllenIntervalNetworkSolver

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

Method Detail

createConstraintSolvers

protected static ConstraintSolver[] createConstraintSolvers(long origin,
                                                            long horizon,
                                                            int maxActivities)

getOrigin

public long getOrigin()

Get the origin of time.

Returns:

The origin of time.

getHorizon

public long getHorizon()

Get the temporal horizon.

Returns:

The temporal horizon.

getAdmissibleDistanceBounds

public final Bounds getAdmissibleDistanceBounds(TimePoint tpFrom,
                                                TimePoint tpTo)

Gets the minimum and maximum allowed distance between a pair of TimePoints.

Parameters:

tpFrom - the TimePoint that is considered as the "origin"/source.

tpTo - the TimePoint that is considered as the "target".

Returns:

Returns the bounds of the distance between the two TimePoints or null if there is no constraint between the two.

getAdmissibleDistanceBounds

public final Bounds getAdmissibleDistanceBounds(TimePoint tpTo)

Get the minimum and maximum allowed distance between the global source and a TimePoint.

Parameters:

tpTo - the TimePoint whose temporal placement should be queried.

Returns:

The allowed bounds of the TimePoint.

getRigidityNumber

public final double getRigidityNumber()

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.

bookmark

public int bookmark()

removeBookmark

public void removeBookmark(int i)

revert

public void revert(int i)

numBookmarks

public int numBookmarks()