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

Author:

Simon Cruanes and Radoslaw Szymanek

Method Summary

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