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

PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## cz.pcland.sat
Class SATGen

    java.lang.Object
      cz.pcland.sat.SATGen

    public class SATGen

extends java.lang.Object

Constructor Summary
`SATGen()` Creates a new instance of SATGen

Method Summary
`SATInstance` | `generate(int vars, int clas)`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### SATGen

    public SATGen()

  Creates a new instance of SATGen

Method Detail

### generate

    public SATInstance generate(int vars,
                                int clas)

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

PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD