Uses of Class
org.jacop.satwrapper.SatTranslation
-
Packages that use SatTranslation Package Description org.jacop.fz org.jacop.fz.constraints -
-
Uses of SatTranslation in org.jacop.fz
Fields in org.jacop.fz declared as SatTranslation Modifier and Type Field Description (package private) SatTranslation
Constraints. sat
(package private) SatTranslation
Solve. sat
Constructors in org.jacop.fz with parameters of type SatTranslation Constructor Description Solve(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 SatTranslation Modifier and Type Field Description (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 Constructor Description Support(Store store, Tables d, SatTranslation sat)
-