public class MetaOccupiedTimesBasedConstraint extends MetaOccupiedConstraint
padindependentMC, metaCS, valOH, varOHannotation, autoRemovable, color, id, logger, masked, numIDs, scope| Constructor and Description |
|---|
MetaOccupiedTimesBasedConstraint(VariableOrderingH varOH,
ValueOrderingH valOH) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isConflicting(SymbolicVariableActivity[] peak,
java.util.HashMap<SymbolicVariableActivity,SpatialFluent> activityToFluent) |
activeHeuristic, clone, draw, getEdgeLabel, getGroundSolver, getMetaValues, getMetaVariables, isEquivalent, markResolvedSub, setPad, toStringgetDescription, getMetaValue, getMetaVariable, getValOH, getVarOH, setMetaSolver, setValOH, setVarOHgetAnnotation, getColor, getID, getScope, isAutoRemovable, isMasked, isSkippableSolver, isUnary, mask, setAnnotation, setAutoRemovable, setColor, setScope, skipSolver, unmaskpublic MetaOccupiedTimesBasedConstraint(VariableOrderingH varOH, ValueOrderingH valOH)
public boolean isConflicting(SymbolicVariableActivity[] peak, java.util.HashMap<SymbolicVariableActivity,SpatialFluent> activityToFluent)
isConflicting in class MetaOccupiedConstraint