org.kahina.logic.sat.io.free

Class BooleanFormulaParser

java.lang.Object

org.kahina.logic.sat.io.free.BooleanFormulaParser

public class BooleanFormulaParser
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	verbose

Constructor Summary

Constructors

Constructor and Description
BooleanFormulaParser()

Method Summary

Methods

Modifier and Type	Method and Description
static BooleanFormula	parseFile(java.lang.String fileName)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

verbose

public static final boolean verbose

See Also:

Constant Field Values

Constructor Detail

BooleanFormulaParser

public BooleanFormulaParser()

Method Detail

parseFile

public static BooleanFormula parseFile(java.lang.String fileName)
                                throws java.io.FileNotFoundException,
                                       java.io.IOException

Throws:

java.io.FileNotFoundException

java.io.IOException