Class SymmetryBreaker


public class SymmetryBreaker extends DecisionVisitor
A symmetry breaker is an object that will visit a decision and
create the 'symmetrical' decision in return.
Each symmetry breaker represents one class of symmetry.
  • Constructor Details

    • SymmetryBreaker

      public SymmetryBreaker(long cPtr, boolean cMemoryOwn)
    • SymmetryBreaker

      public SymmetryBreaker()
  • Method Details

    • getCPtr

      public static long getCPtr(SymmetryBreaker obj)
    • swigRelease

      public static long swigRelease(SymmetryBreaker obj)
    • finalize

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

      public void delete()
      Overrides:
      delete in class DecisionVisitor
    • swigDirectorDisconnect

      protected void swigDirectorDisconnect()
      Overrides:
      swigDirectorDisconnect in class DecisionVisitor
    • swigReleaseOwnership

      public void swigReleaseOwnership()
      Overrides:
      swigReleaseOwnership in class DecisionVisitor
    • swigTakeOwnership

      public void swigTakeOwnership()
      Overrides:
      swigTakeOwnership in class DecisionVisitor
    • addIntegerVariableEqualValueClause

      public void addIntegerVariableEqualValueClause(IntVar var, long value)
    • addIntegerVariableGreaterOrEqualValueClause

      public void addIntegerVariableGreaterOrEqualValueClause(IntVar var, long value)
    • addIntegerVariableLessOrEqualValueClause

      public void addIntegerVariableLessOrEqualValueClause(IntVar var, long value)