Overview | Package | Class | Use | Tree | Deprecated | Index | Help

PREV NEXT | FRAMES NO FRAMES

## Uses of Class
cz.pcland.sat.SATInstance

Packages that use SATInstance
cz.pcland.ga.fitness |
cz.pcland.sat |

Uses of SATInstance in cz.pcland.ga.fitness

Methods in cz.pcland.ga.fitness with parameters of type SATInstance
`void` | `SATFitness.setSATInstance(SATInstance instance)`

Uses of SATInstance in cz.pcland.sat

Methods in cz.pcland.sat that return SATInstance
`SATInstance` | `SATGen.generate(int vars, int clas)`

Methods in cz.pcland.sat with parameters of type SATInstance
`void` | `SATListRender.setInstance(SATInstance instance)`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help

PREV NEXT | FRAMES NO FRAMES