Java Reference
Java Reference
Detailed Description
An Assignment is a variable -> domains mapping, used to report solutions to the user.
Definition at line 14 of file Assignment.java.
Public Member Functions | |
| synchronized void | delete () |
| Assignment (Solver s) | |
| Assignment (Assignment copy) | |
| void | clear () |
| boolean | empty () |
| int | size () |
| int | numIntVars () |
| int | numIntervalVars () |
| int | numSequenceVars () |
| void | store () |
| void | restore () |
| boolean | load (String filename) |
| Loads an assignment from a file; does not add variables to the assignment (only the variables contained in the assignment are modified). More... | |
| boolean | save (String filename) |
| Saves the assignment to a file. More... | |
| void | addObjective (IntVar v) |
| void | ClearObjective () |
| IntVar | objective () |
| boolean | hasObjective () |
| long | objectiveMin () |
| long | objectiveMax () |
| long | objectiveValue () |
| boolean | objectiveBound () |
| void | setObjectiveMin (long m) |
| void | setObjectiveMax (long m) |
| void | setObjectiveValue (long value) |
| void | setObjectiveRange (long l, long u) |
| IntVarElement | add (IntVar var) |
| void | add (IntVar[] vars) |
| IntVarElement | fastAdd (IntVar var) |
| Adds without checking if variable has been previously added. More... | |
| long | min (IntVar var) |
| long | max (IntVar var) |
| long | value (IntVar var) |
| boolean | bound (IntVar var) |
| void | setMin (IntVar var, long m) |
| void | setMax (IntVar var, long m) |
| void | setRange (IntVar var, long l, long u) |
| void | setValue (IntVar var, long value) |
| IntervalVarElement | add (IntervalVar var) |
| void | add (IntervalVar[] vars) |
| IntervalVarElement | fastAdd (IntervalVar var) |
| Adds without checking if variable has been previously added. More... | |
| long | startMin (IntervalVar var) |
| long | startMax (IntervalVar var) |
| long | startValue (IntervalVar var) |
| long | durationMin (IntervalVar var) |
| long | durationMax (IntervalVar var) |
| long | durationValue (IntervalVar var) |
| long | endMin (IntervalVar var) |
| long | endMax (IntervalVar var) |
| long | endValue (IntervalVar var) |
| long | performedMin (IntervalVar var) |
| long | performedMax (IntervalVar var) |
| long | performedValue (IntervalVar var) |
| void | setStartMin (IntervalVar var, long m) |
| void | setStartMax (IntervalVar var, long m) |
| void | setStartRange (IntervalVar var, long mi, long ma) |
| void | setStartValue (IntervalVar var, long value) |
| void | setDurationMin (IntervalVar var, long m) |
| void | setDurationMax (IntervalVar var, long m) |
| void | setDurationRange (IntervalVar var, long mi, long ma) |
| void | setDurationValue (IntervalVar var, long value) |
| void | setEndMin (IntervalVar var, long m) |
| void | setEndMax (IntervalVar var, long m) |
| void | setEndRange (IntervalVar var, long mi, long ma) |
| void | setEndValue (IntervalVar var, long value) |
| void | setPerformedMin (IntervalVar var, long m) |
| void | setPerformedMax (IntervalVar var, long m) |
| void | setPerformedRange (IntervalVar var, long mi, long ma) |
| void | setPerformedValue (IntervalVar var, long value) |
| SequenceVarElement | add (SequenceVar var) |
| void | add (SequenceVar[] vars) |
| SequenceVarElement | fastAdd (SequenceVar var) |
| Adds without checking if the variable had been previously added. More... | |
| int[] | forwardSequence (SequenceVar var) |
| int[] | backwardSequence (SequenceVar var) |
| int[] | unperformed (SequenceVar var) |
| void | setSequence (SequenceVar var, int[] forward_sequence, int[] backward_sequence, int[] unperformed) |
| void | setForwardSequence (SequenceVar var, int[] forward_sequence) |
| void | setBackwardSequence (SequenceVar var, int[] backward_sequence) |
| void | setUnperformed (SequenceVar var, int[] unperformed) |
| void | activate (IntVar var) |
| void | deactivate (IntVar var) |
| boolean | activated (IntVar var) |
| void | activate (IntervalVar var) |
| void | deactivate (IntervalVar var) |
| boolean | activated (IntervalVar var) |
| void | activate (SequenceVar var) |
| void | deactivate (SequenceVar var) |
| boolean | activated (SequenceVar var) |
| void | activateObjective () |
| void | deactivateObjective () |
| boolean | activatedObjective () |
| String | toString () |
| boolean | AreAllElementsBound () |
| boolean | contains (IntVar var) |
| boolean | contains (IntervalVar var) |
| boolean | contains (SequenceVar var) |
| void | copyIntersection (Assignment assignment) |
| Copies the intersection of the two assignments to the current assignment. More... | |
| void | copy (Assignment assignment) |
| Copies 'assignment' to the current assignment, clearing its previous content. More... | |
| AssignmentIntContainer | intVarContainer () |
| AssignmentIntContainer | mutableIntVarContainer () |
| AssignmentIntervalContainer | intervalVarContainer () |
| AssignmentIntervalContainer | mutableIntervalVarContainer () |
| AssignmentSequenceContainer | sequenceVarContainer () |
| AssignmentSequenceContainer | mutableSequenceVarContainer () |
| Solver | solver () |
| void | freezeQueue () |
| This method freezes the propagation queue. More... | |
| void | unfreezeQueue () |
| This method unfreezes the propagation queue. More... | |
| void | enqueueDelayedDemon (Demon d) |
| This method pushes the demon onto the propagation queue. More... | |
| void | enqueueVar (Demon d) |
| void | reset_action_on_fail () |
| This method clears the failure callback. More... | |
| void | set_variable_to_clean_on_fail (IntVar v) |
| Shortcut for variable cleaner. More... | |
| String | name () |
| Object naming. More... | |
| void | setName (String name) |
| boolean | hasName () |
| Returns whether the object has been named or not. More... | |
| String | baseName () |
| Returns a base name for automatic naming. More... | |
Protected Member Functions | |
| Assignment (long cPtr, boolean cMemoryOwn) | |
Constructor & Destructor Documentation
◆ Assignment() [1/3]
|
inlineprotected |
Definition at line 17 of file Assignment.java.
◆ Assignment() [2/3]
|
inline |
Definition at line 42 of file Assignment.java.
◆ Assignment() [3/3]
|
inline |
Definition at line 46 of file Assignment.java.
Member Function Documentation
◆ activate() [1/3]
|
inline |
Definition at line 380 of file Assignment.java.
◆ activate() [2/3]
|
inline |
Definition at line 368 of file Assignment.java.
◆ activate() [3/3]
|
inline |
Definition at line 392 of file Assignment.java.
◆ activated() [1/3]
|
inline |
Definition at line 388 of file Assignment.java.
◆ activated() [2/3]
|
inline |
Definition at line 376 of file Assignment.java.
◆ activated() [3/3]
|
inline |
Definition at line 400 of file Assignment.java.
◆ activatedObjective()
|
inline |
Definition at line 412 of file Assignment.java.
◆ activateObjective()
|
inline |
Definition at line 404 of file Assignment.java.
◆ add() [1/6]
|
inline |
Definition at line 194 of file Assignment.java.
◆ add() [2/6]
|
inline |
Definition at line 199 of file Assignment.java.
◆ add() [3/6]
|
inline |
Definition at line 145 of file Assignment.java.
◆ add() [4/6]
|
inline |
Definition at line 150 of file Assignment.java.
◆ add() [5/6]
|
inline |
Definition at line 323 of file Assignment.java.
◆ add() [6/6]
|
inline |
Definition at line 328 of file Assignment.java.
◆ addObjective()
|
inline |
Definition at line 96 of file Assignment.java.
◆ AreAllElementsBound()
|
inline |
Definition at line 420 of file Assignment.java.
◆ backwardSequence()
|
inline |
Definition at line 344 of file Assignment.java.
◆ baseName()
|
inlineinherited |
Returns a base name for automatic naming.
Reimplemented in BooleanVar.
Definition at line 115 of file PropagationBaseObject.java.
◆ bound()
|
inline |
Definition at line 174 of file Assignment.java.
◆ clear()
|
inline |
Definition at line 50 of file Assignment.java.
◆ ClearObjective()
|
inline |
Definition at line 100 of file Assignment.java.
◆ contains() [1/3]
|
inline |
Definition at line 428 of file Assignment.java.
◆ contains() [2/3]
|
inline |
Definition at line 424 of file Assignment.java.
◆ contains() [3/3]
|
inline |
Definition at line 432 of file Assignment.java.
◆ copy()
|
inline |
Copies 'assignment' to the current assignment, clearing its previous content.
Definition at line 446 of file Assignment.java.
◆ copyIntersection()
|
inline |
Copies the intersection of the two assignments to the current assignment.
Definition at line 439 of file Assignment.java.
◆ deactivate() [1/3]
|
inline |
Definition at line 384 of file Assignment.java.
◆ deactivate() [2/3]
|
inline |
Definition at line 372 of file Assignment.java.
◆ deactivate() [3/3]
|
inline |
Definition at line 396 of file Assignment.java.
◆ deactivateObjective()
|
inline |
Definition at line 408 of file Assignment.java.
◆ delete()
|
inline |
Reimplemented from PropagationBaseObject.
Definition at line 31 of file Assignment.java.
◆ durationMax()
|
inline |
Definition at line 227 of file Assignment.java.
◆ durationMin()
|
inline |
Definition at line 223 of file Assignment.java.
◆ durationValue()
|
inline |
Definition at line 231 of file Assignment.java.
◆ empty()
|
inline |
Definition at line 54 of file Assignment.java.
◆ endMax()
|
inline |
Definition at line 239 of file Assignment.java.
◆ endMin()
|
inline |
Definition at line 235 of file Assignment.java.
◆ endValue()
|
inline |
Definition at line 243 of file Assignment.java.
◆ enqueueDelayedDemon()
|
inlineinherited |
This method pushes the demon onto the propagation queue.
It will be processed directly if the queue is empty. It will be enqueued according to its priority otherwise.
Definition at line 72 of file PropagationBaseObject.java.
◆ enqueueVar()
|
inlineinherited |
Definition at line 76 of file PropagationBaseObject.java.
◆ fastAdd() [1/3]
|
inline |
Adds without checking if variable has been previously added.
Definition at line 206 of file Assignment.java.
◆ fastAdd() [2/3]
|
inline |
Adds without checking if variable has been previously added.
Definition at line 157 of file Assignment.java.
◆ fastAdd() [3/3]
|
inline |
Adds without checking if the variable had been previously added.
Definition at line 335 of file Assignment.java.
◆ forwardSequence()
|
inline |
Definition at line 340 of file Assignment.java.
◆ freezeQueue()
|
inlineinherited |
This method freezes the propagation queue.
It is useful when you need to apply multiple modifications at once.
Definition at line 58 of file PropagationBaseObject.java.
◆ hasName()
|
inlineinherited |
Returns whether the object has been named or not.
Definition at line 108 of file PropagationBaseObject.java.
◆ hasObjective()
|
inline |
Definition at line 109 of file Assignment.java.
◆ intervalVarContainer()
|
inline |
Definition at line 459 of file Assignment.java.
◆ intVarContainer()
|
inline |
Definition at line 450 of file Assignment.java.
◆ load()
|
inline |
Loads an assignment from a file; does not add variables to the assignment (only the variables contained in the assignment are modified).
Definition at line 85 of file Assignment.java.
◆ max()
|
inline |
Definition at line 166 of file Assignment.java.
◆ min()
|
inline |
Definition at line 162 of file Assignment.java.
◆ mutableIntervalVarContainer()
|
inline |
Definition at line 463 of file Assignment.java.
◆ mutableIntVarContainer()
|
inline |
Definition at line 454 of file Assignment.java.
◆ mutableSequenceVarContainer()
|
inline |
Definition at line 472 of file Assignment.java.
◆ name()
|
inlineinherited |
Object naming.
Definition at line 97 of file PropagationBaseObject.java.
◆ numIntervalVars()
|
inline |
Definition at line 66 of file Assignment.java.
◆ numIntVars()
|
inline |
Definition at line 62 of file Assignment.java.
◆ numSequenceVars()
|
inline |
Definition at line 70 of file Assignment.java.
◆ objective()
|
inline |
Definition at line 104 of file Assignment.java.
◆ objectiveBound()
|
inline |
Definition at line 125 of file Assignment.java.
◆ objectiveMax()
|
inline |
Definition at line 117 of file Assignment.java.
◆ objectiveMin()
|
inline |
Definition at line 113 of file Assignment.java.
◆ objectiveValue()
|
inline |
Definition at line 121 of file Assignment.java.
◆ performedMax()
|
inline |
Definition at line 251 of file Assignment.java.
◆ performedMin()
|
inline |
Definition at line 247 of file Assignment.java.
◆ performedValue()
|
inline |
Definition at line 255 of file Assignment.java.
◆ reset_action_on_fail()
|
inlineinherited |
This method clears the failure callback.
Definition at line 83 of file PropagationBaseObject.java.
◆ restore()
|
inline |
Definition at line 78 of file Assignment.java.
◆ save()
|
inline |
Saves the assignment to a file.
Definition at line 92 of file Assignment.java.
◆ sequenceVarContainer()
|
inline |
Definition at line 468 of file Assignment.java.
◆ set_variable_to_clean_on_fail()
|
inlineinherited |
Shortcut for variable cleaner.
Definition at line 90 of file PropagationBaseObject.java.
◆ setBackwardSequence()
|
inline |
Definition at line 360 of file Assignment.java.
◆ setDurationMax()
|
inline |
Definition at line 279 of file Assignment.java.
◆ setDurationMin()
|
inline |
Definition at line 275 of file Assignment.java.
◆ setDurationRange()
|
inline |
Definition at line 283 of file Assignment.java.
◆ setDurationValue()
|
inline |
Definition at line 287 of file Assignment.java.
◆ setEndMax()
|
inline |
Definition at line 295 of file Assignment.java.
◆ setEndMin()
|
inline |
Definition at line 291 of file Assignment.java.
◆ setEndRange()
|
inline |
Definition at line 299 of file Assignment.java.
◆ setEndValue()
|
inline |
Definition at line 303 of file Assignment.java.
◆ setForwardSequence()
|
inline |
Definition at line 356 of file Assignment.java.
◆ setMax()
|
inline |
Definition at line 182 of file Assignment.java.
◆ setMin()
|
inline |
Definition at line 178 of file Assignment.java.
◆ setName()
|
inlineinherited |
Definition at line 101 of file PropagationBaseObject.java.
◆ setObjectiveMax()
|
inline |
Definition at line 133 of file Assignment.java.
◆ setObjectiveMin()
|
inline |
Definition at line 129 of file Assignment.java.
◆ setObjectiveRange()
|
inline |
Definition at line 141 of file Assignment.java.
◆ setObjectiveValue()
|
inline |
Definition at line 137 of file Assignment.java.
◆ setPerformedMax()
|
inline |
Definition at line 311 of file Assignment.java.
◆ setPerformedMin()
|
inline |
Definition at line 307 of file Assignment.java.
◆ setPerformedRange()
|
inline |
Definition at line 315 of file Assignment.java.
◆ setPerformedValue()
|
inline |
Definition at line 319 of file Assignment.java.
◆ setRange()
|
inline |
Definition at line 186 of file Assignment.java.
◆ setSequence()
|
inline |
Definition at line 352 of file Assignment.java.
◆ setStartMax()
|
inline |
Definition at line 263 of file Assignment.java.
◆ setStartMin()
|
inline |
Definition at line 259 of file Assignment.java.
◆ setStartRange()
|
inline |
Definition at line 267 of file Assignment.java.
◆ setStartValue()
|
inline |
Definition at line 271 of file Assignment.java.
◆ setUnperformed()
|
inline |
Definition at line 364 of file Assignment.java.
◆ setValue()
|
inline |
Definition at line 190 of file Assignment.java.
◆ size()
|
inline |
Definition at line 58 of file Assignment.java.
◆ solver()
|
inlineinherited |
Definition at line 50 of file PropagationBaseObject.java.
◆ startMax()
|
inline |
Definition at line 215 of file Assignment.java.
◆ startMin()
|
inline |
Definition at line 211 of file Assignment.java.
◆ startValue()
|
inline |
Definition at line 219 of file Assignment.java.
◆ store()
|
inline |
Definition at line 74 of file Assignment.java.
◆ toString()
|
inline |
Reimplemented from PropagationBaseObject.
Definition at line 416 of file Assignment.java.
◆ unfreezeQueue()
|
inlineinherited |
This method unfreezes the propagation queue.
All modifications that happened when the queue was frozen will be processed.
Definition at line 65 of file PropagationBaseObject.java.
◆ unperformed()
|
inline |
Definition at line 348 of file Assignment.java.
◆ value()
|
inline |
Definition at line 170 of file Assignment.java.
The documentation for this class was generated from the following file: