Package satisfiabilityApplet.cnfParser

Class Summary
ConjunctionOfDisjunctions by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 11:02:35 AM CS 180H A satisfiabilityApplet.cnfParser.ConjunctionOfDisjunctions is a clauseList of disjunctions.
Disjunction by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 11:02:35 AM CS 180H satisfiabilityApplet.cnfParser.Disjunction represents the 'or' of two literals.
DisjunctionOfConjunctions by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 11:02:35 AM CS 180H todo convert this from conjunction A satisfiabilityApplet.cnfParser.ConjunctionOfDisjunctions is a clauseList of disjunctions.
DisjunctionVector by Catherine Block id# 6319 Date: Oct 4, 2004 Time: 8:52:38 PM CS 180H satisfiabilityApplet.cnfParser.DisjunctionVector is a vector representation of a disjunction.
Grammar 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.
Literal by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 10:45:22 AM CS 180H
Scanner  
Variable by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 10:50:01 AM CS 180H
VariableModified by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 10:50:01 AM CS 180H
 

Exception Summary
BooleanValueNotSet by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 11:00:02 AM CS 180H satisfiabilityApplet.cnfParser.BooleanValueNotSet is thrown when the boolean value for a literal is requested but has not been set.
ParseError by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 11:00:02 AM CS 180H satisfiabilityApplet.cnfParser.ParseError is exception thrown if errors occur during parsing
UnsupportedTypeError by Catherine Block id# 6319 Date: Sep 6, 2004 Time: 11:00:02 AM CS 180H satisfiabilityApplet.cnfParser.UnsupportedTypeError is used for exceptions resulting from problems during truth determining logic.