Package org.jacop.satwrapper.translation
Class DomainTranslator
java.lang.Object
org.jacop.satwrapper.translation.DomainTranslator
- All Implemented Interfaces:
WrapperComponent
A component that translates CP variables ranges to boolean clauses to
be added to the SAT solver
- Version:
- 4.8
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
initialize
(SatWrapper wrapper) connect the component to the wrappertoString()
void
translates the variable to clauses, if not already done, and add those clauses to the wrapper queue.
-
Field Details
-
wrapper
-
translatedVars
-
-
Constructor Details
-
DomainTranslator
public DomainTranslator()
-
-
Method Details
-
translate
translates the variable to clauses, if not already done, and add those clauses to the wrapper queue.- Parameters:
variable
- the variable to translatesee Propagation via Lazy Clause Generation, Olga Ohrimenko1 , Peter J. Stuckey , and Michael Codish
-
initialize
Description copied from interface:WrapperComponent
connect the component to the wrapper- Specified by:
initialize
in interfaceWrapperComponent
- Parameters:
wrapper
- the wrapper
-
toString
-