Package org.jacop.satwrapper
Interface WrapperComponent
-
- All Known Implementing Classes:
DomainClausesDatabase
,DomainTranslator
,LazyCpVarDomain
,SatCPBridge
,SimpleCpVarDomain
,WrapperDebugModule
public interface WrapperComponent
a component that is aware of the existence of a SatWrapper- Version:
- 4.7
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
initialize(SatWrapper wrapper)
connect the component to the wrapper
-
-
-
Method Detail
-
initialize
void initialize(SatWrapper wrapper)
connect the component to the wrapper- Parameters:
wrapper
- the wrapper
-
-