Constant Field Values


Contents
satisfiabilityApplet.cnfParser.*

satisfiabilityApplet.cnfParser.Grammar
public static final java.lang.String and "and"
public static final java.lang.String disjunctDelimL "("
public static final java.lang.String disjunctDelimR ")"
public static final char falseVal 48
public static final java.lang.String not "not"
public static final java.lang.String or "or"
public static final java.lang.String plus "+"
public static final char trueVal 49