Class PropagationMonitor

java.lang.Object

public class PropagationMonitor
extends SearchMonitor
  • Constructor Details

    • PropagationMonitor

      protected PropagationMonitor​(long cPtr, boolean cMemoryOwn)
  • Method Details

    • getCPtr

      protected static long getCPtr​(PropagationMonitor obj)
    • finalize

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

      public void delete()
      Overrides:
      delete in class SearchMonitor
    • toString

      public java.lang.String toString()
      Overrides:
      toString in class BaseObject
    • beginConstraintInitialPropagation

      public void beginConstraintInitialPropagation​(Constraint constraint)
      Propagation events.
    • endConstraintInitialPropagation

      public void endConstraintInitialPropagation​(Constraint constraint)
    • beginNestedConstraintInitialPropagation

      public void beginNestedConstraintInitialPropagation​(Constraint parent, Constraint nested)
    • endNestedConstraintInitialPropagation

      public void endNestedConstraintInitialPropagation​(Constraint parent, Constraint nested)
    • registerDemon

      public void registerDemon​(Demon demon)
    • beginDemonRun

      public void beginDemonRun​(Demon demon)
    • endDemonRun

      public void endDemonRun​(Demon demon)
    • startProcessingIntegerVariable

      public void startProcessingIntegerVariable​(IntVar var)
    • endProcessingIntegerVariable

      public void endProcessingIntegerVariable​(IntVar var)
    • pushContext

      public void pushContext​(java.lang.String context)
    • popContext

      public void popContext()
    • setMin

      public void setMin​(IntExpr expr, long new_min)
      IntExpr modifiers.
    • setMax

      public void setMax​(IntExpr expr, long new_max)
    • setRange

      public void setRange​(IntExpr expr, long new_min, long new_max)
    • setMin

      public void setMin​(IntVar var, long new_min)
      IntVar modifiers.
    • setMax

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

      public void setRange​(IntVar var, long new_min, long new_max)
    • removeValue

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

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

      public void removeInterval​(IntVar var, long imin, long imax)
    • setValue

      public void setValue​(IntVar var, long[] values)
    • removeValues

      public void removeValues​(IntVar var, long[] values)
    • setStartMin

      public void setStartMin​(IntervalVar var, long new_min)
      IntervalVar modifiers.
    • setStartMax

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

      public void setStartRange​(IntervalVar var, long new_min, long new_max)
    • setEndMin

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

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

      public void setEndRange​(IntervalVar var, long new_min, long new_max)
    • setDurationMin

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

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

      public void setDurationRange​(IntervalVar var, long new_min, long new_max)
    • setPerformed

      public void setPerformed​(IntervalVar var, boolean value)
    • rankFirst

      public void rankFirst​(SequenceVar var, int index)
      SequenceVar modifiers
    • rankNotFirst

      public void rankNotFirst​(SequenceVar var, int index)
    • rankLast

      public void rankLast​(SequenceVar var, int index)
    • rankNotLast

      public void rankNotLast​(SequenceVar var, int index)
    • rankSequence

      public void rankSequence​(SequenceVar var, int[] rank_first, int[] rank_last, int[] unperformed)
    • install

      public void install()
      Install itself on the solver.
      Overrides:
      install in class SearchMonitor