satisfiabilityApplet.cnfParser
Class Scanner

java.lang.Object
  extended bysatisfiabilityApplet.cnfParser.Scanner

public class Scanner
extends java.lang.Object


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

Scanner

public Scanner()
Method Detail

scan

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

parse

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

Parameters:
list -
Returns:
Throws:
ParseError