org.metacsp.meta.symbolsAndTime

Class Schedulable

java.lang.Object

org.metacsp.framework.Constraint

org.metacsp.framework.meta.MetaConstraint

org.metacsp.meta.symbolsAndTime.Schedulable

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable

Direct Known Subclasses:

Floor2D, Map, ReusableResource, SimpleReusableResource, StateVariable

public abstract class Schedulable
extends MetaConstraint

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Schedulable.PEAKCOLLECTION

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Vector<Activity>	activities
protected long	beforeParameter
protected Schedulable.PEAKCOLLECTION	peakCollectionStrategy

Fields inherited from class org.metacsp.framework.meta.MetaConstraint

independentMC, metaCS, valOH, varOH

Fields inherited from class org.metacsp.framework.Constraint

annotation, autoRemovable, color, id, logger, masked, numIDs, scope

Constructor Summary

Constructors

Constructor and Description
Schedulable(VariableOrderingH varOH, ValueOrderingH valOH)

Method Summary

Modifier and Type	Method and Description
protected ConstraintNetwork[]	binaryPeakCollection()
protected ConstraintNetwork[]	completePeakCollection()
java.util.Vector<Activity>	getActivityOnUse()
long	getBeforeParameter()
ConstraintNetwork[]	getMetaValues(MetaVariable metaVariable) Get all meta values for a given MetaVariable.
ConstraintNetwork[]	getMetaVariables() Get all MetaVariables according to this MetaConstraint.
MCSData[]	getOrderedMCSs(ConstraintNetwork peak) Get a list of MCSData objects, ordered according to decreasing k, where k is a heuristic estimator of the amount of flexibility which is maintained when imposing a temporal constraint that resolves an MCS - see [P.
Schedulable.PEAKCOLLECTION	getPeakCollectionStrategy()
abstract boolean	isConflicting(Activity[] peak)
void	markResolvedSub(MetaVariable con, ConstraintNetwork metaValue) Method to mark a MetaVariable as solved.
void	removeUsage(Activity... acts)
protected ConstraintNetwork[]	samplingPeakCollection()
void	setBeforeParameter(long beforeParameter)
void	setPeakCollectionStrategy(Schedulable.PEAKCOLLECTION peakCollectionStrategy)
void	setUsage(Activity... acts)
protected boolean	temporalOverlap(Activity a1, Activity a2)

Methods inherited from class org.metacsp.framework.meta.MetaConstraint

draw, getDescription, getGroundSolver, getMetaValue, getMetaVariable, getValOH, getVarOH, setMetaSolver, setValOH, setVarOH

Methods inherited from class org.metacsp.framework.Constraint

clone, getAnnotation, getColor, getEdgeLabel, getID, getScope, isAutoRemovable, isEquivalent, isMasked, isSkippableSolver, isUnary, mask, setAnnotation, setAutoRemovable, setColor, setScope, skipSolver, toString, unmask

Methods inherited from class java.lang.Object

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

Field Detail

beforeParameter

protected long beforeParameter

activities

protected java.util.Vector<Activity> activities

peakCollectionStrategy

protected Schedulable.PEAKCOLLECTION peakCollectionStrategy

Constructor Detail

Schedulable

public Schedulable(VariableOrderingH varOH,
                   ValueOrderingH valOH)

Method Detail

getBeforeParameter

public long getBeforeParameter()

setBeforeParameter

public void setBeforeParameter(long beforeParameter)

getPeakCollectionStrategy

public Schedulable.PEAKCOLLECTION getPeakCollectionStrategy()

setPeakCollectionStrategy

public void setPeakCollectionStrategy(Schedulable.PEAKCOLLECTION peakCollectionStrategy)

samplingPeakCollection

protected ConstraintNetwork[] samplingPeakCollection()

completePeakCollection

protected ConstraintNetwork[] completePeakCollection()

binaryPeakCollection

protected ConstraintNetwork[] binaryPeakCollection()

getMetaVariables

public ConstraintNetwork[] getMetaVariables()

Description copied from class: MetaConstraint

Get all MetaVariables according to this MetaConstraint. This method must be implemented by the designer of the implementing MetaConstraint class.

Specified by:

getMetaVariables in class MetaConstraint

Returns:

All MetaVariables according to this MetaConstraint.

getMetaValues

public ConstraintNetwork[] getMetaValues(MetaVariable metaVariable)

Description copied from class: MetaConstraint

Get all meta values for a given MetaVariable. This method must be implemented in the specific MetaConstraint.

Specified by:

getMetaValues in class MetaConstraint

Parameters:

metaVariable - The MetaVariable for which we seek meta values.

Returns:

All meta values for the given MetaVariable.

getOrderedMCSs

public MCSData[] getOrderedMCSs(ConstraintNetwork peak)

Get a list of MCSData objects, ordered according to decreasing k, where k is a heuristic estimator of the amount of flexibility which is maintained when imposing a temporal constraint that resolves an MCS - see [P. Laborie, M. Ghallab, "Planning with Sharable Resource Constraints", IJCAI 1995].

Parameters:

peak - The peaks from which to sample MCSs and compute the k-based ordering.

Returns:

An ordered array of MCSData objects.

temporalOverlap

protected boolean temporalOverlap(Activity a1,
                                  Activity a2)

markResolvedSub

public void markResolvedSub(MetaVariable con,
                            ConstraintNetwork metaValue)

Description copied from class: MetaConstraint

Method to mark a MetaVariable as solved. This method is called by the MetaConstraintSolver and must be implemented by the developer of the MetaConstraint.

Specified by:

markResolvedSub in class MetaConstraint

Parameters:

con - The MetaVariable that is to be considered solved by the given meta value.

metaValue - The solving meta value.

isConflicting

public abstract boolean isConflicting(Activity[] peak)

setUsage

public void setUsage(Activity... acts)

removeUsage

public void removeUsage(Activity... acts)

getActivityOnUse

public java.util.Vector<Activity> getActivityOnUse()