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 Detail

      • SymmetryBreaker

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

        public SymmetryBreaker()