Uses of Class
org.jacop.satwrapper.SatTranslation
Packages that use SatTranslation
-
Uses of SatTranslation in org.jacop.fz
Fields in org.jacop.fz declared as SatTranslationModifier and TypeFieldDescription(package private) SatTranslation
Constraints.sat
(package private) SatTranslation
Solve.sat
Constructors in org.jacop.fz with parameters of type SatTranslationModifierConstructorDescriptionSolve
(Store store, SatTranslation sat) It creates a parser for the solve part of the flatzinc file. -
Uses of SatTranslation in org.jacop.fz.constraints
Fields in org.jacop.fz.constraints declared as SatTranslationModifier and TypeFieldDescription(package private) SatTranslation
BoolConstraints.sat
(package private) SatTranslation
ComparisonConstraints.sat
(package private) SatTranslation
LinearConstraints.sat
(package private) SatTranslation
Support.sat
Constructors in org.jacop.fz.constraints with parameters of type SatTranslation