|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectDimacsFileGenerator
A Generator that simply reads a file representing a CNF in the style used in the DIMACS implementation challenge. (Note that these files must be uncompressed before using here.) Each time getNext is called, this same CNF is returned. This class also includes a main method for testing.
Constructor Summary | |
DimacsFileGenerator(java.lang.String file_name)
Constructor for this generator. |
Method Summary | |
Literal[][] |
getNext()
Returns the CNF read in from the named DIMACS file. |
static void |
main(java.lang.String[] argv)
This is a simple main which runs MySatSolver on the CNF stored in the file named in the first argument within the time limit specified by the second argument. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public DimacsFileGenerator(java.lang.String file_name) throws java.io.FileNotFoundException, java.io.IOException
file_name
- name of file containing DIMACS CNF descriptionMethod Detail |
public Literal[][] getNext()
getNext
in interface Generator
public static void main(java.lang.String[] argv) throws java.io.FileNotFoundException, java.io.IOException
java.io.FileNotFoundException
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |