Class Assignment


public class Assignment
extends PropagationBaseObject
An Assignment is a variable -> domains mapping, used
to report solutions to the user.
  • Constructor Details

    • Assignment

      protected Assignment​(long cPtr, boolean cMemoryOwn)
    • Assignment

      public Assignment​(Solver s)
    • Assignment

      public Assignment​(Assignment copy)
  • Method Details

    • getCPtr

      protected static long getCPtr​(Assignment obj)
    • finalize

      protected void finalize()
      Overrides:
      finalize in class PropagationBaseObject
    • delete

      public void delete()
      Overrides:
      delete in class PropagationBaseObject
    • clear

      public void clear()
    • empty

      public boolean empty()
    • size

      public int size()
    • numIntVars

      public int numIntVars()
    • numIntervalVars

      public int numIntervalVars()
    • numSequenceVars

      public int numSequenceVars()
    • store

      public void store()
    • restore

      public void restore()
    • load

      public boolean load​(java.lang.String filename)
      Loads an assignment from a file; does not add variables to the
      assignment (only the variables contained in the assignment are modified).
    • save

      public boolean save​(java.lang.String filename)
      Saves the assignment to a file.
    • addObjective

      public void addObjective​(IntVar v)
    • ClearObjective

      public void ClearObjective()
    • objective

      public IntVar objective()
    • hasObjective

      public boolean hasObjective()
    • objectiveMin

      public long objectiveMin()
    • objectiveMax

      public long objectiveMax()
    • objectiveValue

      public long objectiveValue()
    • objectiveBound

      public boolean objectiveBound()
    • setObjectiveMin

      public void setObjectiveMin​(long m)
    • setObjectiveMax

      public void setObjectiveMax​(long m)
    • setObjectiveValue

      public void setObjectiveValue​(long value)
    • setObjectiveRange

      public void setObjectiveRange​(long l, long u)
    • add

      public IntVarElement add​(IntVar var)
    • add

      public void add​(IntVar[] vars)
    • fastAdd

      public IntVarElement fastAdd​(IntVar var)
      Adds without checking if variable has been previously added.
    • min

      public long min​(IntVar var)
    • max

      public long max​(IntVar var)
    • value

      public long value​(IntVar var)
    • bound

      public boolean bound​(IntVar var)
    • setMin

      public void setMin​(IntVar var, long m)
    • setMax

      public void setMax​(IntVar var, long m)
    • setRange

      public void setRange​(IntVar var, long l, long u)
    • setValue

      public void setValue​(IntVar var, long value)
    • add

      public IntervalVarElement add​(IntervalVar var)
    • add

      public void add​(IntervalVar[] vars)
    • fastAdd

      public IntervalVarElement fastAdd​(IntervalVar var)
      Adds without checking if variable has been previously added.
    • startMin

      public long startMin​(IntervalVar var)
    • startMax

      public long startMax​(IntervalVar var)
    • startValue

      public long startValue​(IntervalVar var)
    • durationMin

      public long durationMin​(IntervalVar var)
    • durationMax

      public long durationMax​(IntervalVar var)
    • durationValue

      public long durationValue​(IntervalVar var)
    • endMin

      public long endMin​(IntervalVar var)
    • endMax

      public long endMax​(IntervalVar var)
    • endValue

      public long endValue​(IntervalVar var)
    • performedMin

      public long performedMin​(IntervalVar var)
    • performedMax

      public long performedMax​(IntervalVar var)
    • performedValue

      public long performedValue​(IntervalVar var)
    • setStartMin

      public void setStartMin​(IntervalVar var, long m)
    • setStartMax

      public void setStartMax​(IntervalVar var, long m)
    • setStartRange

      public void setStartRange​(IntervalVar var, long mi, long ma)
    • setStartValue

      public void setStartValue​(IntervalVar var, long value)
    • setDurationMin

      public void setDurationMin​(IntervalVar var, long m)
    • setDurationMax

      public void setDurationMax​(IntervalVar var, long m)
    • setDurationRange

      public void setDurationRange​(IntervalVar var, long mi, long ma)
    • setDurationValue

      public void setDurationValue​(IntervalVar var, long value)
    • setEndMin

      public void setEndMin​(IntervalVar var, long m)
    • setEndMax

      public void setEndMax​(IntervalVar var, long m)
    • setEndRange

      public void setEndRange​(IntervalVar var, long mi, long ma)
    • setEndValue

      public void setEndValue​(IntervalVar var, long value)
    • setPerformedMin

      public void setPerformedMin​(IntervalVar var, long m)
    • setPerformedMax

      public void setPerformedMax​(IntervalVar var, long m)
    • setPerformedRange

      public void setPerformedRange​(IntervalVar var, long mi, long ma)
    • setPerformedValue

      public void setPerformedValue​(IntervalVar var, long value)
    • add

      public SequenceVarElement add​(SequenceVar var)
    • add

      public void add​(SequenceVar[] vars)
    • fastAdd

      public SequenceVarElement fastAdd​(SequenceVar var)
      Adds without checking if the variable had been previously added.
    • forwardSequence

      public int[] forwardSequence​(SequenceVar var)
    • backwardSequence

      public int[] backwardSequence​(SequenceVar var)
    • unperformed

      public int[] unperformed​(SequenceVar var)
    • setSequence

      public void setSequence​(SequenceVar var, int[] forward_sequence, int[] backward_sequence, int[] unperformed)
    • setForwardSequence

      public void setForwardSequence​(SequenceVar var, int[] forward_sequence)
    • setBackwardSequence

      public void setBackwardSequence​(SequenceVar var, int[] backward_sequence)
    • setUnperformed

      public void setUnperformed​(SequenceVar var, int[] unperformed)
    • activate

      public void activate​(IntVar var)
    • deactivate

      public void deactivate​(IntVar var)
    • activated

      public boolean activated​(IntVar var)
    • activate

      public void activate​(IntervalVar var)
    • deactivate

      public void deactivate​(IntervalVar var)
    • activated

      public boolean activated​(IntervalVar var)
    • activate

      public void activate​(SequenceVar var)
    • deactivate

      public void deactivate​(SequenceVar var)
    • activated

      public boolean activated​(SequenceVar var)
    • activateObjective

      public void activateObjective()
    • deactivateObjective

      public void deactivateObjective()
    • activatedObjective

      public boolean activatedObjective()
    • toString

      public java.lang.String toString()
      Overrides:
      toString in class PropagationBaseObject
    • AreAllElementsBound

      public boolean AreAllElementsBound()
    • contains

      public boolean contains​(IntVar var)
    • contains

      public boolean contains​(IntervalVar var)
    • contains

      public boolean contains​(SequenceVar var)
    • copyIntersection

      public void copyIntersection​(Assignment assignment)
      Copies the intersection of the two assignments to the current assignment.
    • copy

      public void copy​(Assignment assignment)
      Copies 'assignment' to the current assignment, clearing its previous
      content.
    • intVarContainer

      public AssignmentIntContainer intVarContainer()
    • mutableIntVarContainer

      public AssignmentIntContainer mutableIntVarContainer()
    • intervalVarContainer

      public AssignmentIntervalContainer intervalVarContainer()
    • mutableIntervalVarContainer

      public AssignmentIntervalContainer mutableIntervalVarContainer()
    • sequenceVarContainer

      public AssignmentSequenceContainer sequenceVarContainer()
    • mutableSequenceVarContainer

      public AssignmentSequenceContainer mutableSequenceVarContainer()