org.sat4j.reader
Class CSPInstanceReader

java.lang.Object
  extended by org.sat4j.reader.Reader
      extended by org.sat4j.reader.InstanceReader
          extended by org.sat4j.reader.CSPInstanceReader

public class CSPInstanceReader
extends InstanceReader

An reader having the responsability to choose the right reader according to the input.

Author:
leberre

Constructor Summary
CSPInstanceReader(ISolver solver)
           
 
Method Summary
 java.lang.String decode(int[] model)
          Deprecated. 
 void decode(int[] model, java.io.PrintWriter out)
           
 IProblem parseInstance(java.io.Reader in)
           
 IProblem parseInstance(java.lang.String filename)
           
 
Methods inherited from class org.sat4j.reader.Reader
isVerbose, parseInstance, setVerbosity
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CSPInstanceReader

public CSPInstanceReader(ISolver solver)
Method Detail

parseInstance

public IProblem parseInstance(java.lang.String filename)
                       throws java.io.FileNotFoundException,
                              ParseFormatException,
                              java.io.IOException,
                              ContradictionException
Overrides:
parseInstance in class InstanceReader
Throws:
java.io.FileNotFoundException
ParseFormatException
java.io.IOException
ContradictionException

decode

@Deprecated
public java.lang.String decode(int[] model)
Deprecated. 

Overrides:
decode in class InstanceReader

decode

public void decode(int[] model,
                   java.io.PrintWriter out)
Overrides:
decode in class InstanceReader

parseInstance

public IProblem parseInstance(java.io.Reader in)
                       throws ParseFormatException,
                              ContradictionException,
                              java.io.IOException
Overrides:
parseInstance in class InstanceReader
Throws:
ParseFormatException
ContradictionException
java.io.IOException


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