- objectConstraintMap - Variable in class JaCoP.constraints.geost.NonOverlapping
-
It maps object (through object.id) to the internal constraint connected to this object.
- objects - Variable in class JaCoP.constraints.geost.Geost
-
It stores the reference to the collection of objects provided to
the constructor.
- objects - Variable in class JaCoP.constraints.geost.NonOverlapping
-
It specifies the objects which are being in the scope of this external constraint.
- objects - Variable in class JaCoP.core.SimpleBacktrackableManager
-
It stores objects which change has to be restored upon backtracking.
- ObstacleObject - Class in JaCoP.constraints.geost
-
- ObstacleObject(Geost, GeostObject, int[]) - Constructor for class JaCoP.constraints.geost.ObstacleObject
-
It constructs an internal constraint to constraint the objects not to overlap with this
obstacle object.
- ObstacleObjectFrame - Class in JaCoP.constraints.geost
-
- ObstacleObjectFrame(Geost, GeostObject, int[]) - Constructor for class JaCoP.constraints.geost.ObstacleObjectFrame
-
It creates an internal constraint to enforce non-overlapping relation with this
obstacle object.
- OF - Static variable in interface JaCoP.fz.ParserConstants
-
RegularExpression Id.
- oneSupport - Variable in class JaCoP.constraints.regular.Regular
-
It specifies if the support functionality should be used.
- onEvent(ModelEvent) - Method in interface tlass.project.ModelListener
-
Performs an action based on an event.
- onGround(Var) - Method in class JaCoP.constraints.geost.GeostObject
-
It is executed as soon as any object variable is grounded.
- onlyFailedConstraint - Variable in class JaCoP.search.Shaving
-
It specifies if only the last failed constraint is allowed to suggest shaving values.
- onlyIntVarsOfFailedConstraint - Variable in class JaCoP.search.Shaving
-
It specifies if only variables in the scope of the last failed constraint are
allowed to be used in shaving attempts.
- onObjectUpdate(GeostObject) - Method in interface JaCoP.constraints.geost.ExternalConstraint
-
Handler method called by the Geost kernel when the domain of the object changes.
- onObjectUpdate(GeostObject) - Method in class JaCoP.constraints.geost.InArea
-
- onObjectUpdate(GeostObject) - Method in class JaCoP.constraints.geost.NonOverlapping
-
- onUnGround(Var) - Method in class JaCoP.constraints.geost.GeostObject
-
It is executed as soon as backtracking has occurred making previously grounded variable ungrounded again.
- openLoginWindow() - Method in class tlass.project.gui.View
-
Open the Login Window
- openMainWindow() - Method in class tlass.project.gui.View
-
setup window for use when we are logged in
- openNodeScope(Node) - Method in class JaCoP.fz.JJTParserState
-
- openSemesterDialog() - Method in class tlass.project.gui.View
-
open the semester dialog
- openServerSettingsWindow() - Method in class tlass.project.gui.View
-
Open the server settings window
- openState - Variable in class tlass.project.gui.MainMenu
-
- openTabs - Variable in class tlass.project.gui.MainWindow
-
- optimalProfit - Variable in class JaCoP.constraints.knapsack.Tree
-
It specifies the optimalProfit of possibly non-integral solution
generated by LP relaxation.
- optimizedMDD - Variable in class JaCoP.constraints.regular.Regular
-
It specifies if the translation of FSM into optimized MDD should take place so
minimal layered graph can be obtained.
- optionalizeAssistant(Assistant) - Method in class tlass.project.model.Section
-
TODO
- Options - Class in JaCoP.fz
-
It parses the options provided to flatzinc parser/executable.
- Options(String[]) - Constructor for class JaCoP.fz.Options
-
It constructs an Options object and parses all the parameters/options provided
to flatzinc to jacop parser.
- Or - Class in JaCoP.constraints
-
Constraint c1 \/ c2 \/ ...
- Or(PrimitiveConstraint[]) - Constructor for class JaCoP.constraints.Or
-
It constructs Or constraint.
- Or(ArrayList<PrimitiveConstraint>) - Constructor for class JaCoP.constraints.Or
-
It constructs Or constraint.
- Or(PrimitiveConstraint, PrimitiveConstraint) - Constructor for class JaCoP.constraints.Or
-
It constructs an Or constraint, at least one constraint has to be satisfied.
- OrBool - Class in JaCoP.constraints
-
If at least one variable from the list is equal 1 then result variable is equal 1 too.
- OrBool(IntVar[], IntVar) - Constructor for class JaCoP.constraints.OrBool
-
It constructs orBool.
- OrBool(ArrayList<? extends IntVar>, IntVar) - Constructor for class JaCoP.constraints.OrBool
-
It constructs orBool.
- order - Variable in class JaCoP.constraints.geost.Geost
-
It specifies the order between dimensions which is used by the
pruning algorithm.
- org - Variable in class JaCoP.constraints.regular.RegEdge
-
The origin state.
- origin - Variable in class JaCoP.constraints.geost.DBox
-
It specifies point in n-dimensional space where the dbox originates from.
- origin - Variable in class JaCoP.constraints.Rectangle
-
It specifies the origin of the rectangle in each dimension.
- outDegree - Variable in class JaCoP.constraints.regular.RegState
-
It specifies the number of edges outgoing from the state.
- OUTPUT - Static variable in interface JaCoP.fz.ParserConstants
-
RegularExpression Id.
- output_elem() - Method in class JaCoP.fz.Parser
-
- output_elems() - Method in class JaCoP.fz.Parser
-
- output_item() - Method in class JaCoP.fz.Parser
-
- OutputArrayAnnotation - Class in JaCoP.fz
-
It stores information about the annotation for an output array.
- OutputArrayAnnotation(String, ArrayList<IntDomain>) - Constructor for class JaCoP.fz.OutputArrayAnnotation
-
It constructs and output array annotation.
- overlap(ProfileItem, ProfileItem, ProfileItem, ProfileItem) - Method in class JaCoP.constraints.ProfileItem
-
It compute the overlap with the specified profile item.
- OVERRIDDEN - Static variable in class tlass.project.model.Response
-
- override() - Method in class tlass.project.model.Response
-
set the value of this response to be overridden