Uses of Class
org.sat4j.reader.Reader

Packages that use Reader
org.sat4j Contains a command line launcher for the SAT solvers. 
org.sat4j.reader Some utility classes to read problems from plain text files. 
 

Uses of Reader in org.sat4j
 

Fields in org.sat4j declared as Reader
protected  Reader AbstractLauncher.reader
           
 

Methods in org.sat4j that return Reader
protected  Reader BasicLauncher.createReader(ISolver theSolver, java.lang.String problemname)
           
protected abstract  Reader AbstractLauncher.createReader(ISolver theSolver, java.lang.String problemname)
           
 Reader AbstractLauncher.getReader()
           
 

Uses of Reader in org.sat4j.reader
 

Subclasses of Reader in org.sat4j.reader
 class AAGReader
          Reader for the ASCII And Inverter Graph format defined by Armin Biere.
 class AIGReader
          Reader for the Binary And Inverter Graph format defined by Armin Biere.
 class CardDimacsReader
          Deprecated. 
 class DimacsReader
          Very simple Dimacs file parser.
 class ExtendedDimacsReader
          Reader for the Extended Dimacs format proposed by Fahiem Bacchus and Toby Walsh.
 class InstanceReader
          An reader having the responsability to choose the right reader according to the input.
 class LecteurDimacs
          Dimacs Reader written by Frederic Laihem.
 



Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.