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 wrappervoid
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)
-