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