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.10

Field Summary

Fields

Modifier and Type

Field

Description

Set<IntVar>

translatedVars

private SatWrapper

wrapper
Constructor Summary

Constructors

Constructor

Description

DomainTranslator()
Method Summary

Modifier and Type

Method

Description

void

initialize(SatWrapper wrapper)

connect the component to the wrapper

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 Details
- wrapper
  
  private SatWrapper wrapper
- translatedVars
  
  public Set<IntVar> translatedVars
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