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 CSPExtSupportReader

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

public class CSPExtSupportReader
extends CSPReader

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

CSPExtSupportReader

public CSPExtSupportReader(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