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

Constructors in org.jacop.fz with parameters of type SatTranslation

Constructor and 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

Constructors in org.jacop.fz.constraints with parameters of type SatTranslation

Constructor and Description
Support(Store store, Tables d, SatTranslation sat)