Class PropagationMonitor


public class PropagationMonitor extends SearchMonitor
  • Constructor Details

    • PropagationMonitor

      public PropagationMonitor(long cPtr, boolean cMemoryOwn)
  • Method Details

    • getCPtr

      public static long getCPtr(PropagationMonitor obj)
    • swigRelease

      public static long swigRelease(PropagationMonitor obj)
    • finalize

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

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

      public 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(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