Class DomainTranslator

java.lang.Object
org.jacop.satwrapper.translation.DomainTranslator
All Implemented Interfaces:
WrapperComponent

public final class DomainTranslator extends Object implements WrapperComponent
A component that translates CP variables ranges to boolean clauses to be added to the SAT solver
Version:
4.9
  • Field Details

  • Constructor Details

    • DomainTranslator

      public DomainTranslator()
  • Method Details

    • 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

    • initialize

      public void initialize(SatWrapper wrapper)
      Description copied from interface: WrapperComponent
      connect the component to the wrapper
      Specified by:
      initialize in interface WrapperComponent
      Parameters:
      wrapper - the wrapper
    • toString

      public String toString()
      Overrides:
      toString in class Object