Uses of Class
org.jacop.satwrapper.translation.SatCPBridge

Packages that use SatCPBridge

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

Uses of SatCPBridge in org.jacop.core

Fields in org.jacop.core declared as SatCPBridge

Modifier and Type	Field	Description
SatCPBridge	IntVar.satBridge	It stores information about the variable in SAT domain.

Uses of SatCPBridge in org.jacop.satwrapper

Fields in org.jacop.satwrapper declared as SatCPBridge

Modifier and Type	Field	Description
SatCPBridge[]	SatWrapper.boolVarToDomains

Methods in org.jacop.satwrapper that return SatCPBridge

Modifier and Type	Method	Description
SatCPBridge	SatWrapper.boolVarToDomain(int literal)	returns the CpVarDomain associated with this literal

Uses of SatCPBridge in org.jacop.satwrapper.translation

Subclasses of SatCPBridge in org.jacop.satwrapper.translation

Modifier and Type	Class	Description
class	LazyCpVarDomain<E extends IntVar>	Deprecated.
class	SimpleCpVarDomain	A simple representation for small domains, not lazy.