Class PropagationMonitor

    • Constructor Detail

      • PropagationMonitor

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

      • 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