Class satisfiabilityApplet.cnfParser.Grammar
java.lang.Object
satisfiabilityApplet.cnfParser.Grammar
- public class satisfiabilityApplet.cnfParser.Grammar
- extends java.lang.Object
by Catherine Block
id# 6319
Date: Sep 6, 2004
Time: 8:32:53 AM
CS 180H
satisfiabilityApplet.cnfParser.Grammar is used to store static values used in parsing.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
and
public static final java.lang.String and
- See Also:
- Constant Field Values
or
public static final java.lang.String or
- See Also:
- Constant Field Values
not
public static final java.lang.String not
- See Also:
- Constant Field Values
disjunctDelimL
public static final java.lang.String disjunctDelimL
- See Also:
- Constant Field Values
disjunctDelimR
public static final java.lang.String disjunctDelimR
- See Also:
- Constant Field Values
plus
public static final java.lang.String plus
- See Also:
- Constant Field Values
RESERVED_WORDS
public static final java.lang.String[] RESERVED_WORDS
trueVal
public static final char trueVal
- See Also:
- Constant Field Values
falseVal
public static final char falseVal
- See Also:
- Constant Field Values
satisfiabilityApplet.cnfParser.Grammar
public satisfiabilityApplet.cnfParser.Grammar()