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.8
-
Method Summary
Modifier and TypeMethodDescriptionvoid
initialize
(SatWrapper wrapper) connect the component to the wrapper
-
Method Details
-
initialize
connect the component to the wrapper- Parameters:
wrapper
- the wrapper
-