org.jacop.satwrapper.translation

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

Author:

Simon Cruanes and Radoslaw Szymanek

Field Summary

Fields

Modifier and Type	Field and Description
Set<IntVar>	translatedVars

Constructor Summary

Constructors

Constructor and Description
DomainTranslator()

Method Summary

Modifier and Type	Method and 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 Detail

translatedVars

public 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

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