public class MetaSpatialAdherenceConstraint extends MetaConstraint
| Modifier and Type | Class and Description |
|---|---|
static class |
MetaSpatialAdherenceConstraint.PEAKCOLLECTION |
| Modifier and Type | Field and Description |
|---|---|
protected MetaSpatialAdherenceConstraint.PEAKCOLLECTION |
peakCollectionStrategy |
independentMC, metaCS, valOH, varOHannotation, autoRemovable, color, id, logger, masked, numIDs, scope| Constructor and Description |
|---|
MetaSpatialAdherenceConstraint(VariableOrderingH varOH,
ValueOrderingH valOH) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.Object |
clone() |
void |
draw(ConstraintNetwork network)
Method to draw the metaCSP's constraint network according to the rationale of
this
MetaConstraint (e.g., for a resource, this could be the resource usage profile
as it is determined by the given constraint network). |
java.util.Vector<java.util.HashMap<java.lang.String,Bounds[]>> |
generateAllAlternativeSet(java.util.Vector<RectangularRegion> targetRecs) |
int |
getBeforeParameter() |
long |
getCulpritDetectionTime() |
java.util.HashMap<java.lang.String,UnaryRectangleConstraint> |
getCurrentAssertionalCons() |
java.lang.String |
getEdgeLabel()
Every
Constraint should implement this method - its value is
what is drawn by the ConstraintNetwork rendering methods. |
ConstraintSolver |
getGroundSolver()
Provides the definition of how to get the/a groundSolver for this
MetaConstraint. |
ConstraintNetwork[] |
getMetaValues(MetaVariable metaVariable)
Get all meta values for a given
MetaVariable. |
ConstraintNetwork[] |
getMetaVariables()
Get all
MetaVariables according to this MetaConstraint. |
int |
getNumberofMisplaced() |
java.util.HashMap<java.lang.String,BoundingBox> |
getOldRectangularRegion() |
MetaSpatialAdherenceConstraint.PEAKCOLLECTION |
getPeakCollectionStrategy() |
java.util.Vector<SpatialAssertionalRelation> |
getsAssertionalRels() |
boolean |
isConflicting(SymbolicVariableActivity[] peak,
java.util.HashMap<SymbolicVariableActivity,SpatialFluent> aTOsf) |
boolean |
isEquivalent(Constraint c)
Method for assessing the "equivalence" between two constraints.
|
void |
markResolvedSub(MetaVariable con,
ConstraintNetwork metaValue)
Method to mark a
MetaVariable as solved. |
static <T> java.util.Set<java.util.Set<T>> |
powerSet(java.util.Set<T> originalSet) |
void |
setBeforeParameter(int beforeParameter) |
void |
setInitialGoal(java.lang.String[] initialGoals) |
void |
setPeakCollectionStrategy(MetaSpatialAdherenceConstraint.PEAKCOLLECTION peakCollectionStrategy) |
void |
setSpatialAssertionalRelations(java.util.Vector<SpatialAssertionalRelation> sAssertionalRels) |
void |
setSpatialRules(SpatialRule... rules) |
protected boolean |
temporalOverlap(SymbolicVariableActivity a1,
SymbolicVariableActivity a2) |
java.lang.String |
toString()
Every
Constraint should implement a toString method (used by the
ConstraintNetwork rendering methods). |
getDescription, getMetaValue, getMetaVariable, getValOH, getVarOH, setMetaSolver, setValOH, setVarOHgetAnnotation, getColor, getID, getScope, isAutoRemovable, isMasked, isSkippableSolver, isUnary, mask, setAnnotation, setAutoRemovable, setColor, setScope, skipSolver, unmaskprotected MetaSpatialAdherenceConstraint.PEAKCOLLECTION peakCollectionStrategy
public MetaSpatialAdherenceConstraint(VariableOrderingH varOH, ValueOrderingH valOH)
public long getCulpritDetectionTime()
public int getNumberofMisplaced()
public java.util.HashMap<java.lang.String,UnaryRectangleConstraint> getCurrentAssertionalCons()
public java.util.HashMap<java.lang.String,BoundingBox> getOldRectangularRegion()
public void setSpatialRules(SpatialRule... rules)
public void setSpatialAssertionalRelations(java.util.Vector<SpatialAssertionalRelation> sAssertionalRels)
public java.util.Vector<SpatialAssertionalRelation> getsAssertionalRels()
public int getBeforeParameter()
public void setBeforeParameter(int beforeParameter)
public MetaSpatialAdherenceConstraint.PEAKCOLLECTION getPeakCollectionStrategy()
public void setPeakCollectionStrategy(MetaSpatialAdherenceConstraint.PEAKCOLLECTION peakCollectionStrategy)
public static <T> java.util.Set<java.util.Set<T>> powerSet(java.util.Set<T> originalSet)
public ConstraintNetwork[] getMetaVariables()
MetaConstraintMetaVariables according to this MetaConstraint. This method must be implemented by the
designer of the implementing MetaConstraint class.getMetaVariables in class MetaConstraintMetaVariables according to this MetaConstraint.public ConstraintNetwork[] getMetaValues(MetaVariable metaVariable)
MetaConstraintMetaVariable. This method must be
implemented in the specific MetaConstraint.getMetaValues in class MetaConstraintmetaVariable - The MetaVariable for which we seek meta values.MetaVariable.protected boolean temporalOverlap(SymbolicVariableActivity a1, SymbolicVariableActivity a2)
public void markResolvedSub(MetaVariable con, ConstraintNetwork metaValue)
MetaConstraintMetaVariable as solved. This method is called by the
MetaConstraintSolver and must be implemented by the developer of the
MetaConstraint.markResolvedSub in class MetaConstraintcon - The MetaVariable that is to be considered solved by
the given meta value.metaValue - The solving meta value.public boolean isConflicting(SymbolicVariableActivity[] peak, java.util.HashMap<SymbolicVariableActivity,SpatialFluent> aTOsf)
public void setInitialGoal(java.lang.String[] initialGoals)
public void draw(ConstraintNetwork network)
MetaConstraintMetaConstraint (e.g., for a resource, this could be the resource usage profile
as it is determined by the given constraint network). This method must be implemented by the
developer of the MetaConstraint.draw in class MetaConstraintnetwork - The constraint network to draw.public java.lang.String toString()
ConstraintConstraint should implement a toString method (used by the
ConstraintNetwork rendering methods).toString in class ConstraintString representation of this Constraint.public java.lang.String getEdgeLabel()
ConstraintConstraint should implement this method - its value is
what is drawn by the ConstraintNetwork rendering methods.getEdgeLabel in class ConstraintString representation of the constraint to be used for
ConstraintNetwork rendering.public java.lang.Object clone()
clone in class Constraintpublic boolean isEquivalent(Constraint c)
ConstraintisEquivalent in class Constraintc - The Constraint to compare against.true iff the two constraints are considered to be equivalent.public java.util.Vector<java.util.HashMap<java.lang.String,Bounds[]>> generateAllAlternativeSet(java.util.Vector<RectangularRegion> targetRecs)
public ConstraintSolver getGroundSolver()
MetaConstraintMetaConstraint.getGroundSolver in class MetaConstraintMetaConstraint.