Class DomainTranslator

  • All Implemented Interfaces:
    WrapperComponent

    public final class DomainTranslator
    extends java.lang.Object
    implements WrapperComponent
    A component that translates CP variables ranges to boolean clauses to be added to the SAT solver
    Version:
    4.7
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void initialize​(SatWrapper wrapper)
      connect the component to the wrapper
      java.lang.String toString()  
      void translate​(IntVar variable)
      translates the variable to clauses, if not already done, and add those clauses to the wrapper queue.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • translatedVars

        public java.util.Set<IntVar> translatedVars
    • Constructor Detail

      • DomainTranslator

        public DomainTranslator()
    • Method Detail

      • translate

        public void translate​(IntVar variable)
        translates the variable to clauses, if not already done, and add those clauses to the wrapper queue.
        Parameters:
        variable - the variable to translate

        see Propagation via Lazy Clause Generation, Olga Ohrimenko1 , Peter J. Stuckey , and Michael Codish

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object