public class RuleSet
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
filename |
java.util.ArrayList<Rule> |
rules |
java.util.ArrayList<java.lang.String> |
warningSet |
Constructor and Description |
---|
RuleSet() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
A test method
|
RuleSet |
parse(Lexer lex) |
static RuleSet |
readFile(java.lang.String fname) |
static void |
testReadRuleSet()
A test method
|
static CNF |
testRuleAndClausify()
A test method
|
java.lang.String |
toString() |
public java.util.ArrayList<Rule> rules
public java.util.ArrayList<java.lang.String> warningSet
public static java.lang.String filename
public java.lang.String toString()
toString
in class java.lang.Object
public static RuleSet readFile(java.lang.String fname) throws java.lang.Exception
java.lang.Exception
public static CNF testRuleAndClausify()
public static void testReadRuleSet()
public static void main(java.lang.String[] args)