private SimpleArrayList<DBox> |
ObstacleObjectFrame.extendedHoles |
the collection of holes that are included in all possible shapes,
enlarged to include the whole domain that can be covered for any
feasible choice of the origin
|
static SimpleArrayList<SimpleArrayList<DBox>> |
DBox.freeBoxes |
static store of available boxes, accessible by dimension.
|
(package private) SimpleArrayList<Var> |
Geost.groundedVars |
It stores all variables which have been grounded.
|
private SimpleArrayList<DBox> |
Shape.holes |
|
(package private) SimpleArrayList<GeostObject> |
Geost.objectList |
It contains all the objects which have been updated in the previous levels.
|
(package private) SimpleArrayList<GeostObject> |
Geost.objectList4Flush |
It is used inside flushQueue function to separate timeconsistency execution from
object update (potentially expensive if for example object frame is recomputed).
|
(package private) SimpleArrayList<DBox> |
ObstacleObject.preshiftedElems |
It shifts boxes of the given shape as required by the frame.
|
(package private) SimpleArrayList<DBox> |
Geost.workingList |
A temporary list to collect bounding boxes for each shape of the given object
to compute one bounding box whatever the shape of the object.
|