Java Reference

Java Reference

Assignment

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]

Assignment ( long  cPtr,
boolean  cMemoryOwn 
)
inlineprotected

Definition at line 17 of file Assignment.java.

◆ Assignment() [2/3]

Assignment ( Solver  s)
inline

Definition at line 42 of file Assignment.java.

◆ Assignment() [3/3]

Assignment ( Assignment  copy)
inline

Definition at line 46 of file Assignment.java.

Member Function Documentation

◆ activate() [1/3]

void activate ( IntervalVar  var)
inline

Definition at line 380 of file Assignment.java.

◆ activate() [2/3]

void activate ( IntVar  var)
inline

Definition at line 368 of file Assignment.java.

◆ activate() [3/3]

void activate ( SequenceVar  var)
inline

Definition at line 392 of file Assignment.java.

◆ activated() [1/3]

boolean activated ( IntervalVar  var)
inline

Definition at line 388 of file Assignment.java.

◆ activated() [2/3]

boolean activated ( IntVar  var)
inline

Definition at line 376 of file Assignment.java.

◆ activated() [3/3]

boolean activated ( SequenceVar  var)
inline

Definition at line 400 of file Assignment.java.

◆ activatedObjective()

boolean activatedObjective ( )
inline

Definition at line 412 of file Assignment.java.

◆ activateObjective()

void activateObjective ( )
inline

Definition at line 404 of file Assignment.java.

◆ add() [1/6]

IntervalVarElement add ( IntervalVar  var)
inline

Definition at line 194 of file Assignment.java.

◆ add() [2/6]

void add ( IntervalVar[]  vars)
inline

Definition at line 199 of file Assignment.java.

◆ add() [3/6]

IntVarElement add ( IntVar  var)
inline

Definition at line 145 of file Assignment.java.

◆ add() [4/6]

void add ( IntVar[]  vars)
inline

Definition at line 150 of file Assignment.java.

◆ add() [5/6]

SequenceVarElement add ( SequenceVar  var)
inline

Definition at line 323 of file Assignment.java.

◆ add() [6/6]

void add ( SequenceVar[]  vars)
inline

Definition at line 328 of file Assignment.java.

◆ addObjective()

void addObjective ( IntVar  v)
inline

Definition at line 96 of file Assignment.java.

◆ AreAllElementsBound()

boolean AreAllElementsBound ( )
inline

Definition at line 420 of file Assignment.java.

◆ backwardSequence()

int [] backwardSequence ( SequenceVar  var)
inline

Definition at line 344 of file Assignment.java.

◆ baseName()

String baseName ( )
inlineinherited

Returns a base name for automatic naming.

Reimplemented in BooleanVar.

Definition at line 115 of file PropagationBaseObject.java.

◆ bound()

boolean bound ( IntVar  var)
inline

Definition at line 174 of file Assignment.java.

◆ clear()

void clear ( )
inline

Definition at line 50 of file Assignment.java.

◆ ClearObjective()

void ClearObjective ( )
inline

Definition at line 100 of file Assignment.java.

◆ contains() [1/3]

boolean contains ( IntervalVar  var)
inline

Definition at line 428 of file Assignment.java.

◆ contains() [2/3]

boolean contains ( IntVar  var)
inline

Definition at line 424 of file Assignment.java.

◆ contains() [3/3]

boolean contains ( SequenceVar  var)
inline

Definition at line 432 of file Assignment.java.

◆ copy()

void copy ( Assignment  assignment)
inline

Copies 'assignment' to the current assignment, clearing its previous content.

Definition at line 446 of file Assignment.java.

◆ copyIntersection()

void copyIntersection ( Assignment  assignment)
inline

Copies the intersection of the two assignments to the current assignment.

Definition at line 439 of file Assignment.java.

◆ deactivate() [1/3]

void deactivate ( IntervalVar  var)
inline

Definition at line 384 of file Assignment.java.

◆ deactivate() [2/3]

void deactivate ( IntVar  var)
inline

Definition at line 372 of file Assignment.java.

◆ deactivate() [3/3]

void deactivate ( SequenceVar  var)
inline

Definition at line 396 of file Assignment.java.

◆ deactivateObjective()

void deactivateObjective ( )
inline

Definition at line 408 of file Assignment.java.

◆ delete()

synchronized void delete ( )
inline

Reimplemented from PropagationBaseObject.

Definition at line 31 of file Assignment.java.

◆ durationMax()

long durationMax ( IntervalVar  var)
inline

Definition at line 227 of file Assignment.java.

◆ durationMin()

long durationMin ( IntervalVar  var)
inline

Definition at line 223 of file Assignment.java.

◆ durationValue()

long durationValue ( IntervalVar  var)
inline

Definition at line 231 of file Assignment.java.

◆ empty()

boolean empty ( )
inline

Definition at line 54 of file Assignment.java.

◆ endMax()

long endMax ( IntervalVar  var)
inline

Definition at line 239 of file Assignment.java.

◆ endMin()

long endMin ( IntervalVar  var)
inline

Definition at line 235 of file Assignment.java.

◆ endValue()

long endValue ( IntervalVar  var)
inline

Definition at line 243 of file Assignment.java.

◆ enqueueDelayedDemon()

void enqueueDelayedDemon ( Demon  d)
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()

void enqueueVar ( Demon  d)
inlineinherited

Definition at line 76 of file PropagationBaseObject.java.

◆ fastAdd() [1/3]

IntervalVarElement fastAdd ( IntervalVar  var)
inline

Adds without checking if variable has been previously added.

Definition at line 206 of file Assignment.java.

◆ fastAdd() [2/3]

IntVarElement fastAdd ( IntVar  var)
inline

Adds without checking if variable has been previously added.

Definition at line 157 of file Assignment.java.

◆ fastAdd() [3/3]

SequenceVarElement fastAdd ( SequenceVar  var)
inline

Adds without checking if the variable had been previously added.

Definition at line 335 of file Assignment.java.

◆ forwardSequence()

int [] forwardSequence ( SequenceVar  var)
inline

Definition at line 340 of file Assignment.java.

◆ freezeQueue()

void 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()

boolean hasName ( )
inlineinherited

Returns whether the object has been named or not.

Definition at line 108 of file PropagationBaseObject.java.

◆ hasObjective()

boolean hasObjective ( )
inline

Definition at line 109 of file Assignment.java.

◆ intervalVarContainer()

AssignmentIntervalContainer intervalVarContainer ( )
inline

Definition at line 459 of file Assignment.java.

◆ intVarContainer()

AssignmentIntContainer intVarContainer ( )
inline

Definition at line 450 of file Assignment.java.

◆ load()

boolean load ( String  filename)
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()

long max ( IntVar  var)
inline

Definition at line 166 of file Assignment.java.

◆ min()

long min ( IntVar  var)
inline

Definition at line 162 of file Assignment.java.

◆ mutableIntervalVarContainer()

AssignmentIntervalContainer mutableIntervalVarContainer ( )
inline

Definition at line 463 of file Assignment.java.

◆ mutableIntVarContainer()

AssignmentIntContainer mutableIntVarContainer ( )
inline

Definition at line 454 of file Assignment.java.

◆ mutableSequenceVarContainer()

AssignmentSequenceContainer mutableSequenceVarContainer ( )
inline

Definition at line 472 of file Assignment.java.

◆ name()

String name ( )
inlineinherited

Object naming.

Definition at line 97 of file PropagationBaseObject.java.

◆ numIntervalVars()

int numIntervalVars ( )
inline

Definition at line 66 of file Assignment.java.

◆ numIntVars()

int numIntVars ( )
inline

Definition at line 62 of file Assignment.java.

◆ numSequenceVars()

int numSequenceVars ( )
inline

Definition at line 70 of file Assignment.java.

◆ objective()

IntVar objective ( )
inline

Definition at line 104 of file Assignment.java.

◆ objectiveBound()

boolean objectiveBound ( )
inline

Definition at line 125 of file Assignment.java.

◆ objectiveMax()

long objectiveMax ( )
inline

Definition at line 117 of file Assignment.java.

◆ objectiveMin()

long objectiveMin ( )
inline

Definition at line 113 of file Assignment.java.

◆ objectiveValue()

long objectiveValue ( )
inline

Definition at line 121 of file Assignment.java.

◆ performedMax()

long performedMax ( IntervalVar  var)
inline

Definition at line 251 of file Assignment.java.

◆ performedMin()

long performedMin ( IntervalVar  var)
inline

Definition at line 247 of file Assignment.java.

◆ performedValue()

long performedValue ( IntervalVar  var)
inline

Definition at line 255 of file Assignment.java.

◆ reset_action_on_fail()

void reset_action_on_fail ( )
inlineinherited

This method clears the failure callback.

Definition at line 83 of file PropagationBaseObject.java.

◆ restore()

void restore ( )
inline

Definition at line 78 of file Assignment.java.

◆ save()

boolean save ( String  filename)
inline

Saves the assignment to a file.

Definition at line 92 of file Assignment.java.

◆ sequenceVarContainer()

AssignmentSequenceContainer sequenceVarContainer ( )
inline

Definition at line 468 of file Assignment.java.

◆ set_variable_to_clean_on_fail()

void set_variable_to_clean_on_fail ( IntVar  v)
inlineinherited

Shortcut for variable cleaner.

Definition at line 90 of file PropagationBaseObject.java.

◆ setBackwardSequence()

void setBackwardSequence ( SequenceVar  var,
int[]  backward_sequence 
)
inline

Definition at line 360 of file Assignment.java.

◆ setDurationMax()

void setDurationMax ( IntervalVar  var,
long  m 
)
inline

Definition at line 279 of file Assignment.java.

◆ setDurationMin()

void setDurationMin ( IntervalVar  var,
long  m 
)
inline

Definition at line 275 of file Assignment.java.

◆ setDurationRange()

void setDurationRange ( IntervalVar  var,
long  mi,
long  ma 
)
inline

Definition at line 283 of file Assignment.java.

◆ setDurationValue()

void setDurationValue ( IntervalVar  var,
long  value 
)
inline

Definition at line 287 of file Assignment.java.

◆ setEndMax()

void setEndMax ( IntervalVar  var,
long  m 
)
inline

Definition at line 295 of file Assignment.java.

◆ setEndMin()

void setEndMin ( IntervalVar  var,
long  m 
)
inline

Definition at line 291 of file Assignment.java.

◆ setEndRange()

void setEndRange ( IntervalVar  var,
long  mi,
long  ma 
)
inline

Definition at line 299 of file Assignment.java.

◆ setEndValue()

void setEndValue ( IntervalVar  var,
long  value 
)
inline

Definition at line 303 of file Assignment.java.

◆ setForwardSequence()

void setForwardSequence ( SequenceVar  var,
int[]  forward_sequence 
)
inline

Definition at line 356 of file Assignment.java.

◆ setMax()

void setMax ( IntVar  var,
long  m 
)
inline

Definition at line 182 of file Assignment.java.

◆ setMin()

void setMin ( IntVar  var,
long  m 
)
inline

Definition at line 178 of file Assignment.java.

◆ setName()

void setName ( String  name)
inlineinherited

Definition at line 101 of file PropagationBaseObject.java.

◆ setObjectiveMax()

void setObjectiveMax ( long  m)
inline

Definition at line 133 of file Assignment.java.

◆ setObjectiveMin()

void setObjectiveMin ( long  m)
inline

Definition at line 129 of file Assignment.java.

◆ setObjectiveRange()

void setObjectiveRange ( long  l,
long  u 
)
inline

Definition at line 141 of file Assignment.java.

◆ setObjectiveValue()

void setObjectiveValue ( long  value)
inline

Definition at line 137 of file Assignment.java.

◆ setPerformedMax()

void setPerformedMax ( IntervalVar  var,
long  m 
)
inline

Definition at line 311 of file Assignment.java.

◆ setPerformedMin()

void setPerformedMin ( IntervalVar  var,
long  m 
)
inline

Definition at line 307 of file Assignment.java.

◆ setPerformedRange()

void setPerformedRange ( IntervalVar  var,
long  mi,
long  ma 
)
inline

Definition at line 315 of file Assignment.java.

◆ setPerformedValue()

void setPerformedValue ( IntervalVar  var,
long  value 
)
inline

Definition at line 319 of file Assignment.java.

◆ setRange()

void setRange ( IntVar  var,
long  l,
long  u 
)
inline

Definition at line 186 of file Assignment.java.

◆ setSequence()

void setSequence ( SequenceVar  var,
int[]  forward_sequence,
int[]  backward_sequence,
int[]  unperformed 
)
inline

Definition at line 352 of file Assignment.java.

◆ setStartMax()

void setStartMax ( IntervalVar  var,
long  m 
)
inline

Definition at line 263 of file Assignment.java.

◆ setStartMin()

void setStartMin ( IntervalVar  var,
long  m 
)
inline

Definition at line 259 of file Assignment.java.

◆ setStartRange()

void setStartRange ( IntervalVar  var,
long  mi,
long  ma 
)
inline

Definition at line 267 of file Assignment.java.

◆ setStartValue()

void setStartValue ( IntervalVar  var,
long  value 
)
inline

Definition at line 271 of file Assignment.java.

◆ setUnperformed()

void setUnperformed ( SequenceVar  var,
int[]  unperformed 
)
inline

Definition at line 364 of file Assignment.java.

◆ setValue()

void setValue ( IntVar  var,
long  value 
)
inline

Definition at line 190 of file Assignment.java.

◆ size()

int size ( )
inline

Definition at line 58 of file Assignment.java.

◆ solver()

Solver solver ( )
inlineinherited

Definition at line 50 of file PropagationBaseObject.java.

◆ startMax()

long startMax ( IntervalVar  var)
inline

Definition at line 215 of file Assignment.java.

◆ startMin()

long startMin ( IntervalVar  var)
inline

Definition at line 211 of file Assignment.java.

◆ startValue()

long startValue ( IntervalVar  var)
inline

Definition at line 219 of file Assignment.java.

◆ store()

void store ( )
inline

Definition at line 74 of file Assignment.java.

◆ toString()

String toString ( )
inline

Reimplemented from PropagationBaseObject.

Definition at line 416 of file Assignment.java.

◆ unfreezeQueue()

void 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()

int [] unperformed ( SequenceVar  var)
inline

Definition at line 348 of file Assignment.java.

◆ value()

long value ( IntVar  var)
inline

Definition at line 170 of file Assignment.java.


The documentation for this class was generated from the following file: