Uses of Class
org.jacop.satwrapper.SatWrapper

Packages that use SatWrapper

Package	Description
org.jacop.satwrapper
org.jacop.satwrapper.translation

Uses of SatWrapper in org.jacop.satwrapper

Fields in org.jacop.satwrapper declared as SatWrapper

Modifier and Type	Field	Description
(package private) SatWrapper	SatTranslation.clauses
private SatWrapper	SatChangesListener.wrapper
private SatWrapper	WrapperDebugModule.wrapper

Methods in org.jacop.satwrapper with parameters of type SatWrapper

Modifier and Type	Method	Description
void	SatChangesListener.initialize(SatWrapper wrapper)
void	WrapperComponent.initialize(SatWrapper wrapper)	connect the component to the wrapper
void	WrapperDebugModule.initialize(SatWrapper wrapper)

Uses of SatWrapper in org.jacop.satwrapper.translation

Fields in org.jacop.satwrapper.translation declared as SatWrapper

Modifier and Type	Field	Description
private SatWrapper	DomainClausesDatabase.wrapper
private SatWrapper	DomainTranslator.wrapper
protected SatWrapper	SatCPBridge.wrapper

Methods in org.jacop.satwrapper.translation with parameters of type SatWrapper

Modifier and Type	Method	Description
void	DomainClausesDatabase.initialize(SatWrapper wrapper)
void	DomainTranslator.initialize(SatWrapper wrapper)
void	LazyCpVarDomain.initialize(SatWrapper wrapper)	Deprecated.
abstract void	SatCPBridge.initialize(SatWrapper wrapper)
void	SimpleCpVarDomain.initialize(SatWrapper wrapper)

Constructors in org.jacop.satwrapper.translation with parameters of type SatWrapper

Constructor	Description
SimpleCpVarDomain(SatWrapper wrapper, IntVar variable)
SimpleCpVarDomain(SatWrapper wrapper, IntVar variable, boolean translate)