Class Decision


  • public class Decision
    extends BaseObject
    A Decision represents a choice point in the search tree. The two main
    methods are Apply() to go left, or Refute() to go right.
    • Constructor Detail

      • Decision

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

        public Decision()
    • Method Detail

      • getCPtr

        protected static long getCPtr​(Decision obj)
      • swigRelease

        protected static long swigRelease​(Decision obj)
      • swigDirectorDisconnect

        protected void swigDirectorDisconnect()
      • swigReleaseOwnership

        public void swigReleaseOwnership()
      • swigTakeOwnership

        public void swigTakeOwnership()
      • apply

        public void apply​(Solver s)
        Apply will be called first when the decision is executed.
      • refute

        public void refute​(Solver s)
        Refute will be called after a backtrack.
      • accept

        public void accept​(DecisionVisitor visitor)
        Accepts the given visitor.