public class RectangleConstraintSolver extends MultiConstraintSolver
| Modifier and Type | Class and Description |
|---|---|
static class |
RectangleConstraintSolver.Dimension |
MultiConstraintSolver.OPTIONSconstraintSolvers, ingredientsautoprop, components, constraintTypes, logger, name, nesting, noPropOnVarCreation, numcalls, skipPropagation, spacing, theNetwork, variableType| Constructor and Description |
|---|
RectangleConstraintSolver(long origin,
long horizon) |
RectangleConstraintSolver(long origin,
long horizon,
int maxRectangles) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
drawAlmostCentreRectangle(long horizon,
java.util.HashMap<java.lang.String,java.awt.Rectangle> rect)
Output a Gnuplot-readable script that draws, for each given
RectangularRegion, a rectangle which is close to the
"center" of the RectangularRegion's domain. |
java.lang.String |
drawAlmostCentreRectangle(long horizon,
RectangularRegion... rect)
Output a Gnuplot-readable script that draws, for each given
RectangularRegion, a rectangle which is close to the
"center" of the RectangularRegion's domain. |
java.util.HashMap<java.lang.String,BoundingBox> |
extractAllBoundingBoxesFromSTPs() |
BoundingBox |
extractBoundingBoxesFromSTPs(RectangularRegion rect)
Extracts a specific
BoundingBox from the domain of a RectangularRegion. |
BoundingBox |
extractBoundingBoxesFromSTPs(java.lang.String name) |
java.util.Vector<BoundingBox> |
extractBoundingBoxesFromSTPsByName(java.lang.String name) |
long |
getHorizon() |
boolean |
propagate()
Propagate the constraint network.
|
void |
setFilteringArea(java.util.Vector<BoundingBox> boxes) |
addConstraintsSub, createVariablesSub, createVariablesSub, createVariablesSub, drawConstraintNetworkHierarchy, drawConstraintSolverHierarchy, failurePruning, getConstraintNetworkHierarchy, getConstraintNetworksFromSolverHierarchy, getConstraintSolver, getConstraintSolverHierarchy, getConstraintSolvers, getConstraintSolversFromConstraintSolverHierarchy, getDescription, getOption, registerValueChoiceFunctions, 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 RectangleConstraintSolver(long origin,
long horizon)
public RectangleConstraintSolver(long origin,
long horizon,
int maxRectangles)
public boolean propagate()
ConstraintSolverpropagate in class MultiConstraintSolverpublic java.lang.String drawAlmostCentreRectangle(long horizon,
RectangularRegion... rect)
RectangularRegion, a rectangle which is close to the
"center" of the RectangularRegion's domain.horizon - The maximum X and Y coordinate to be used in the plot.rect - The set of RectangularRegions to draw.public java.lang.String drawAlmostCentreRectangle(long horizon,
java.util.HashMap<java.lang.String,java.awt.Rectangle> rect)
RectangularRegion, a rectangle which is close to the
"center" of the RectangularRegion's domain.horizon - The maximum X and Y coordinate to be used in the plot.rect - The set of RectangularRegions to draw.public BoundingBox extractBoundingBoxesFromSTPs(RectangularRegion rect)
BoundingBox from the domain of a RectangularRegion.rect - The RectangularRegion from to extract the BoundingBox.BoundingBox from the domain of a RectangularRegion.public BoundingBox extractBoundingBoxesFromSTPs(java.lang.String name)
public java.util.HashMap<java.lang.String,BoundingBox> extractAllBoundingBoxesFromSTPs()
public java.util.Vector<BoundingBox> extractBoundingBoxesFromSTPsByName(java.lang.String name)
public long getHorizon()
public void setFilteringArea(java.util.Vector<BoundingBox> boxes)