Package | Description |
---|---|
org.jacop.constraints.geost |
Modifier and Type | Field and Description |
---|---|
GeostObject[] |
Geost.objects
It stores the reference to the collection of objects provided to
the constructor.
|
GeostObject[] |
NonOverlapping.objects
It specifies the objects which are being in the scope of this external constraint.
|
Modifier and Type | Method and Description |
---|---|
GeostObject |
GeostObject.TimeBoundConstraint.getCorrespondingObject()
It returns the corresponding object for which this time constraint corresponds to.
|
GeostObject[] |
ExternalConstraint.getObjectScope()
Provides the collection of objects that this constraint applies to
|
GeostObject[] |
InArea.getObjectScope() |
GeostObject[] |
NonOverlapping.getObjectScope() |
Modifier and Type | Method and Description |
---|---|
boolean |
ExternalConstraint.addPrunableObjects(GeostObject o,
SimpleHashSet<GeostObject> accumulator)
It adds to the accumulator collection the objects that are likely to be pruned if the given object
changes.
|
boolean |
InArea.addPrunableObjects(GeostObject o,
SimpleHashSet<GeostObject> accumulator) |
boolean |
NonOverlapping.addPrunableObjects(GeostObject o,
SimpleHashSet<GeostObject> accumulator) |
void |
BoxDisplay.display2DGeostObject(Geost geost,
GeostObject o,
Color c)
It displays a 2D geost object.
|
void |
BoxDisplay.display2DObject(GeostObject o,
Shape s)
It displays 2D Geost object given its shape.
|
void |
BoxDisplay.display3DGeostObjectSlice(Geost geost,
GeostObject o,
Color c,
int sliceHeight)
It displays 3D geost by slicing 3rd dimension at given point and displaying the resulting slice.
|
protected DBox |
Geost.findForbiddenDomain(GeostObject o,
int currentShape,
int[] point,
Geost.SweepDirection dir,
LexicographicalOrder order) |
Collection<? extends InternalConstraint> |
ExternalConstraint.getObjectConstraints(GeostObject o)
It provides the collection of internal constraints that the given object has to satisfy.
|
Collection<? extends InternalConstraint> |
InArea.getObjectConstraints(GeostObject o) |
Collection<? extends InternalConstraint> |
NonOverlapping.getObjectConstraints(GeostObject o) |
DBox |
AllowedArea.isFeasible(Geost.SweepDirection min,
LexicographicalOrder order,
GeostObject o,
int currentShape,
int[] c) |
DBox |
DomainHoles.isFeasible(Geost.SweepDirection min,
LexicographicalOrder order,
GeostObject o,
int currentShape,
int[] c) |
DBox |
ForbiddenArea.isFeasible(Geost.SweepDirection min,
LexicographicalOrder order,
GeostObject o,
int currentShape,
int[] c) |
abstract DBox |
InternalConstraint.isFeasible(Geost.SweepDirection min,
LexicographicalOrder order,
GeostObject o,
int currentShape,
int[] c)
It determines whether the given point is a feasible origin of object o, considering
this constraint only.
|
DBox |
ObstacleObject.isFeasible(Geost.SweepDirection min,
LexicographicalOrder order,
GeostObject o,
int currentShape,
int[] c) |
DBox |
ObstacleObjectFrame.isFeasible(Geost.SweepDirection min,
LexicographicalOrder order,
GeostObject o,
int currentShape,
int[] c) |
boolean |
ExternalConstraint.isInternalConstraintApplicableTo(InternalConstraint ic,
GeostObject o)
Returns true if the external constraint generated the supplied internal constraint ic, and that ic
applies to object o.
|
boolean |
InArea.isInternalConstraintApplicableTo(InternalConstraint ic,
GeostObject o) |
boolean |
NonOverlapping.isInternalConstraintApplicableTo(InternalConstraint ic,
GeostObject o) |
void |
ExternalConstraint.onObjectUpdate(GeostObject o)
Handler method called by the Geost kernel when the domain of the object changes.
|
protected void |
Geost.onObjectUpdate(GeostObject o)
It performs the necessary operations for a given changed object.
|
void |
InArea.onObjectUpdate(GeostObject o) |
void |
NonOverlapping.onObjectUpdate(GeostObject o) |
protected int |
Geost.pruneMax(Store store,
GeostObject o,
int currentShape,
int d,
int limit)
the sweeping routine for minimal bounds.
|
protected int |
Geost.pruneMin(Store store,
GeostObject o,
int currentShape,
int d,
int limit)
the sweeping routine for minimal bounds.
|
void |
Geost.queueObject(GeostObject o)
It puts the object into the queue if it can be still pruned or cause failure.
|
protected boolean |
ObstacleObjectFrame.timeOnlyCheck(Geost.SweepDirection min,
LexicographicalOrder order,
GeostObject o,
int currentShape,
int[] c) |
protected void |
Geost.updateInternalConstraintsGeneratingOutboxes(GeostObject o)
It is called whenever the object currently being pruned changes.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ExternalConstraint.addPrunableObjects(GeostObject o,
SimpleHashSet<GeostObject> accumulator)
It adds to the accumulator collection the objects that are likely to be pruned if the given object
changes.
|
boolean |
InArea.addPrunableObjects(GeostObject o,
SimpleHashSet<GeostObject> accumulator) |
boolean |
NonOverlapping.addPrunableObjects(GeostObject o,
SimpleHashSet<GeostObject> accumulator) |
Constructor and Description |
---|
DomainHoles(GeostObject object)
It creates Domain Holes internal constraint for a given object.
|
Geost(GeostObject[] objects,
ExternalConstraint[] constraints,
Shape[] shapes)
It creates a geost constraint from provided objects, external constraints,
as well as shapes.
|
NonOverlapping(GeostObject[] objects,
int[] selectedDimensions)
It creates an external constraint to make sure that specified set of objects does not overlap
in k-dimensional space on the given number of selected dimensions within this k-dimensional space.
|
ObstacleObject(Geost geost,
GeostObject obstacle,
int[] selectedDimensions)
It constructs an internal constraint to constraint the objects not to overlap with this
obstacle object.
|
ObstacleObjectFrame(Geost geost,
GeostObject obstacle,
int[] selectedDimensions)
It creates an internal constraint to enforce non-overlapping relation with this
obstacle object.
|
Constructor and Description |
---|
Geost(Collection<GeostObject> objects,
Collection<ExternalConstraint> constraints,
Collection<Shape> shapes) |
NonOverlapping(Collection<GeostObject> objects,
int[] selectedDimensions)
It creates an external constraint to make sure that specified set of objects does not overlap
in k-dimensional space on the given number of selected dimensions within this k-dimensional space.
|
Copyright © 2022. All rights reserved.