Uses of Class
org.jacop.satwrapper.translation.SatCPBridge
Packages that use SatCPBridge
-
Uses of SatCPBridge in org.jacop.core
Fields in org.jacop.core declared as SatCPBridgeModifier and TypeFieldDescriptionIntVar.satBridge
It stores information about the variable in SAT domain. -
Uses of SatCPBridge in org.jacop.satwrapper
Fields in org.jacop.satwrapper declared as SatCPBridgeMethods in org.jacop.satwrapper that return SatCPBridgeModifier and TypeMethodDescriptionfinal 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.translationModifier and TypeClassDescriptionfinal class
LazyCpVarDomain<E extends IntVar>
Deprecated.class
A simple representation for small domains, not lazy.