Class satisfiabilityApplet.cnfParser.Scanner

java.lang.Object
  extended bysatisfiabilityApplet.cnfParser.Scanner

public class satisfiabilityApplet.cnfParser.Scanner
extends java.lang.Object


Constructor Summary
satisfiabilityApplet.cnfParser.Scanner()
           
 
Method Summary
 java.lang.Object parse(java.util.List list)
          Break input up into literals, conjunctions and disjunctions
 java.util.List scan(java.lang.String s)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

satisfiabilityApplet.cnfParser.Scanner

public satisfiabilityApplet.cnfParser.Scanner()
Method Detail

scan

public java.util.List scan(java.lang.String s)

parse

public java.lang.Object parse(java.util.List list)
                       throws satisfiabilityApplet.cnfParser.ParseError
Break input up into literals, conjunctions and disjunctions

Parameters:
list -
Returns:
Throws:
satisfiabilityApplet.cnfParser.ParseError