org.sat4j.reader
Class Reader

java.lang.Object
  org.sat4j.reader.Reader

Direct Known Subclasses:

AAGReader, AIGReader, DimacsReader, InstanceReader, LecteurDimacs

public abstract class Reader
extends Object

A reader is responsible to feed an ISolver from a text file and to convert the model found by the solver to a textual representation.

Author:

leberre

Constructor Summary

Reader()

Method Summary

abstract String	decode(int[] model) Deprecated.
abstract void	decode(int[] model, PrintWriter out) Produce a model using the reader format on a provided printwriter.
boolean	isVerbose()
IProblem	parseInstance(InputStream in)
abstract IProblem	parseInstance(Reader in)
IProblem	parseInstance(String filename)
void	setVerbosity(boolean b)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Reader

public Reader()

Method Detail

parseInstance

public IProblem parseInstance(String filename)
                       throws FileNotFoundException,
                              ParseFormatException,
                              IOException,
                              ContradictionException

Throws:

FileNotFoundException

ParseFormatException

IOException

ContradictionException

parseInstance

public IProblem parseInstance(InputStream in)
                       throws ParseFormatException,
                              ContradictionException,
                              IOException

Throws:

ParseFormatException

ContradictionException

IOException

parseInstance

public abstract IProblem parseInstance(Reader in)
                                throws ParseFormatException,
                                       ContradictionException,
                                       IOException

Throws:

ParseFormatException

ContradictionException

IOException

decode

@Deprecated
public abstract String decode(int[] model)

Deprecated.

Produce a model using the reader format.

Parameters:

model - a model using the Dimacs format.

Returns:

a human readable view of the model.

decode

public abstract void decode(int[] model,
                            PrintWriter out)

Produce a model using the reader format on a provided printwriter.

Parameters:

model - a model using the Dimacs format.

out - the place where to display the model

isVerbose

public boolean isVerbose()

setVerbosity

public void setVerbosity(boolean b)