|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectRandomCnfGenerator
This Generator generates random CNF formulas of a fixed size over a fixed number of symbols and with a fixed number of literals per clause. This class also includes a main method for testing.
Constructor Summary | |
RandomCnfGenerator(int num_clauses,
int num_symbols,
int num_literals)
Constructor for this object. |
Method Summary | |
Literal[][] |
getNext()
Generates another CNF of the specified form. |
static void |
main(java.lang.String[] argv)
This is a simple main. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public RandomCnfGenerator(int num_clauses, int num_symbols, int num_literals)
num_clauses
- number of clauses in constructed CNFnum_symbols
- number of symbols (variables) in CNFnum_literals
- number of literals per clauseMethod Detail |
public Literal[][] getNext()
getNext
in interface Generator
public static void main(java.lang.String[] argv)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |