Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.sat4j.reader
Class CSPSupportReader

java.lang.Object
  extended by org.sat4j.reader.Reader
      extended by org.sat4j.reader.CSPReader
          extended by org.sat4j.reader.CSPSupportReader

public class CSPSupportReader
extends CSPReader

Constructor Summary
CSPSupportReader(ISolver solver)
           
 
Method Summary
 
Methods inherited from class org.sat4j.reader.CSPReader
decode, parseInstance
 
Methods inherited from class org.sat4j.reader.Reader
parseInstance, parseInstance
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CSPSupportReader

public CSPSupportReader(ISolver solver)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD