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)