public class Scheduler extends MetaConstraintSolver
MetaConstraintSolver.TerminalNodeMultiConstraintSolver.OPTIONSanimationTime, breakSearch, counterMoves, currentFocus, currentVertex, g, metaConstraints, metaVarsToMetaCons, resolvers, resolversInverseMappingconstraintSolvers, ingredientsautoprop, components, constraintTypes, IDs, logger, name, nesting, noPropOnVarCreation, numcalls, skipPropagation, spacing, theNetwork, variableType| Constructor and Description |
|---|
Scheduler(long origin,
long horizon,
long animationTime) |
Scheduler(long origin,
long horizon,
long animationTime,
int numActivities) |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
addResolverSub(ConstraintNetwork metaVariable,
ConstraintNetwork metaValue)
Implement this method to define any additional operations that should happen before
adding a meta-value in the meta-CSP search (e.g., when branching).
|
protected double |
getLowerBound() |
protected double |
getUpperBound() |
protected boolean |
hasConflictClause(ConstraintNetwork metaValue) |
void |
postBacktrack(MetaVariable mv)
Implement this method to define any extra operations that should be performed
after branching over a
MetaVariable. |
void |
preBacktrack()
Implement this method to define any extra operations that should be performed
before backtracking over a
MetaVariable (and before it is even chosen). |
protected void |
resetFalseClause() |
protected void |
retractResolverSub(ConstraintNetwork metaVariable,
ConstraintNetwork metaValue)
Implement this method to define any extra operations that should happen
after retracting a meta-value in the meta-CSP search (e.g., when backtracking).
|
protected void |
setLowerBound() |
protected void |
setUpperBound() |
addMetaConstraint, addResolver, backtrack, branchAndBound, breakSearch, clearResolvers, draw, failurePruning, focus, getAddedResolvers, getConflict, getConstraintSolvers, getCounterMoves, getCurrentFocusConstraint, getDescription, getFocused, getGroundVariables, getMetaConstraint, getMetaConstraints, getResolvers, getResolversInverseMapping, getTimeOut, isFocused, propagate, registerValueChoiceFunctions, removeFromCurrentFocus, retractResolver, retractResolvers, setCounterMoves, setCurrentFocusConstraint, setFocus, setResolversaddConstraintsSub, createVariablesSub, createVariablesSub, createVariablesSub, drawConstraintNetworkHierarchy, drawConstraintSolverHierarchy, getConstraintNetworkHierarchy, getConstraintNetworksFromSolverHierarchy, getConstraintSolver, getConstraintSolverHierarchy, getConstraintSolversFromConstraintSolverHierarchy, getOption, removeConstraintsSub, removeVariablesSub, setConstraintSolver, setIngredients, setOptionsaddConstraint, 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, unmaskConstraintspublic Scheduler(long origin,
long horizon,
long animationTime)
public Scheduler(long origin,
long horizon,
long animationTime,
int numActivities)
public void preBacktrack()
MetaConstraintSolverMetaVariable (and before it is even chosen).preBacktrack in class MetaConstraintSolverprotected void retractResolverSub(ConstraintNetwork metaVariable, ConstraintNetwork metaValue)
MetaConstraintSolverretractResolverSub in class MetaConstraintSolvermetaVariable - The MetaVariable over which backtracking occurs.metaValue - The meta-value that has been retracted.protected boolean addResolverSub(ConstraintNetwork metaVariable, ConstraintNetwork metaValue)
MetaConstraintSolveraddResolverSub in class MetaConstraintSolvermetaVariable - The MetaVariable over which the search is branching.metaValue - The meta-value that has been selected (the branch).true iff the metavalue is consistent with the ground-CSP (Note: if false is returned, the ground-CSP has not been changed, i.e., it is left in a consistent state.)public void postBacktrack(MetaVariable mv)
MetaConstraintSolverMetaVariable.postBacktrack in class MetaConstraintSolvermv - The MetaVariable that has been branched upon.protected double getUpperBound()
getUpperBound in class MetaConstraintSolverprotected void setUpperBound()
setUpperBound in class MetaConstraintSolverprotected double getLowerBound()
getLowerBound in class MetaConstraintSolverprotected void setLowerBound()
setLowerBound in class MetaConstraintSolverprotected boolean hasConflictClause(ConstraintNetwork metaValue)
hasConflictClause in class MetaConstraintSolverprotected void resetFalseClause()
resetFalseClause in class MetaConstraintSolver