Class satisfiabilityApplet.cnfParser.Grammar

java.lang.Object
  extended bysatisfiabilityApplet.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.


Field Summary
static java.lang.String and
           
static java.lang.String disjunctDelimL
           
static java.lang.String disjunctDelimR
           
static char falseVal
           
static java.lang.String not
           
static java.lang.String or
           
static java.lang.String plus
           
static java.lang.String[] RESERVED_WORDS
           
static char trueVal
           
 
Constructor Summary
satisfiabilityApplet.cnfParser.Grammar()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

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
Constructor Detail

satisfiabilityApplet.cnfParser.Grammar

public satisfiabilityApplet.cnfParser.Grammar()