Uses of Class
org.jacop.constraints.geost.GeostObject
Packages that use GeostObject
-
Uses of GeostObject in org.jacop.constraints.geost
Fields in org.jacop.constraints.geost declared as GeostObjectModifier and TypeFieldDescription(package private) final GeostObjectDomainHoles.objectfinal GeostObject[]Geost.objectsIt stores the reference to the collection of objects provided to the constructor.final GeostObject[]NonOverlapping.objectsIt specifies the objects which are being in the scope of this external constraint.(package private) final GeostObjectObstacleObjectFrame.obstacleIt specifies the geost objection which is the foundation of this obstacle constraint.Fields in org.jacop.constraints.geost with type parameters of type GeostObjectModifier and TypeFieldDescription(package private) SimpleArrayList<GeostObject> Geost.objectListIt contains all the objects which have been updated in the previous levels.(package private) SimpleArrayList<GeostObject> Geost.objectList4FlushIt is used inside flushQueue function to separate timeconsistency execution from object update (potentially expensive if for example object frame is recomputed).(package private) SimpleHashSet<GeostObject> Geost.objectQueueIt contains objects that need to be checked in the next sweep.(package private) final SimpleHashSet<GeostObject> Geost.temporaryObjectSetIt stores temporarily objects for which pruning is suggested by external constraints.(package private) Set<GeostObject> Geost.updatedObjectSetIt contains all the objects which have been updated at current level.(package private) final Map<Var, GeostObject> Geost.variableObjectMapIt maps any variable in the scope of the geost constraint to the object it belongs to.Methods in org.jacop.constraints.geost that return GeostObjectModifier and TypeMethodDescriptionfinal GeostObjectGeostObject.TimeBoundConstraint.getCorrespondingObject()It returns the corresponding object for which this time constraint corresponds to.ExternalConstraint.getObjectScope()Provides the collection of objects that this constraint applies toInArea.getObjectScope()NonOverlapping.getObjectScope()Methods in org.jacop.constraints.geost with parameters of type GeostObjectModifier and TypeMethodDescriptionbooleanExternalConstraint.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.booleanInArea.addPrunableObjects(GeostObject o, SimpleHashSet<GeostObject> accumulator) booleanNonOverlapping.addPrunableObjects(GeostObject o, SimpleHashSet<GeostObject> accumulator) voidBoxDisplay.display2DGeostObject(Geost geost, GeostObject o, Color c) It displays a 2D geost object.voidBoxDisplay.display2DObject(GeostObject o, Shape s) It displays 2D Geost object given its shape.voidBoxDisplay.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 DBoxGeost.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) AllowedArea.isFeasible(Geost.SweepDirection min, LexicographicalOrder order, GeostObject o, int currentShape, int[] c) DomainHoles.isFeasible(Geost.SweepDirection min, LexicographicalOrder order, GeostObject o, int currentShape, int[] c) ForbiddenArea.isFeasible(Geost.SweepDirection min, LexicographicalOrder order, GeostObject o, int currentShape, int[] c) abstract DBoxInternalConstraint.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.ObstacleObject.isFeasible(Geost.SweepDirection min, LexicographicalOrder order, GeostObject o, int currentShape, int[] c) ObstacleObjectFrame.isFeasible(Geost.SweepDirection min, LexicographicalOrder order, GeostObject o, int currentShape, int[] c) booleanExternalConstraint.isInternalConstraintApplicableTo(InternalConstraint ic, GeostObject o) Returns true if the external constraint generated the supplied internal constraint ic, and that ic applies to object o.booleanInArea.isInternalConstraintApplicableTo(InternalConstraint ic, GeostObject o) booleanNonOverlapping.isInternalConstraintApplicableTo(InternalConstraint ic, GeostObject o) voidExternalConstraint.onObjectUpdate(GeostObject o) Handler method called by the Geost kernel when the domain of the object changes.protected voidGeost.onObjectUpdate(GeostObject o) It performs the necessary operations for a given changed object.voidInArea.onObjectUpdate(GeostObject o) voidNonOverlapping.onObjectUpdate(GeostObject o) protected intGeost.pruneMax(Store store, GeostObject o, int currentShape, int d, int limit) the sweeping routine for minimal bounds.protected intGeost.pruneMin(Store store, GeostObject o, int currentShape, int d, int limit) the sweeping routine for minimal bounds.final voidGeost.queueObject(GeostObject o) It puts the object into the queue if it can be still pruned or cause failure.protected booleanObstacleObjectFrame.timeOnlyCheck(Geost.SweepDirection min, LexicographicalOrder order, GeostObject o, int currentShape, int[] c) protected voidIt is called whenever the object currently being pruned changes.Method parameters in org.jacop.constraints.geost with type arguments of type GeostObjectModifier and TypeMethodDescriptionbooleanExternalConstraint.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.booleanInArea.addPrunableObjects(GeostObject o, SimpleHashSet<GeostObject> accumulator) booleanNonOverlapping.addPrunableObjects(GeostObject o, SimpleHashSet<GeostObject> accumulator) Constructors in org.jacop.constraints.geost with parameters of type GeostObjectModifierConstructorDescriptionDomainHoles(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 parameters in org.jacop.constraints.geost with type arguments of type GeostObjectModifierConstructorDescriptionGeost(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.