org.sat4j.reader
Class AAGReader

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

public class AAGReader
extends Reader

Reader for the ASCII And Inverter Graph format defined by Armin Biere.

Author:

daniel

Method Summary

String	decode(int[] model) Produce a model using the reader format.
void	decode(int[] model, PrintWriter out) Produce a model using the reader format on a provided printwriter.
IProblem	parseInstance(InputStream in)
IProblem	parseInstance(Reader in)

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

Method Detail

decode

public String decode(int[] model)

Description copied from class: Reader

Produce a model using the reader format.

Specified by:

decode in class Reader

Parameters:

model - a model using the Dimacs format.

Returns:

a human readable view of the model.

decode

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

Description copied from class: Reader

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

Specified by:

decode in class Reader

Parameters:

model - a model using the Dimacs format.

out - the place where to display the model

parseInstance

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

Overrides:

parseInstance in class Reader

Throws:

ParseFormatException

ContradictionException

IOException

parseInstance

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

Specified by:

parseInstance in class Reader

Throws:

ParseFormatException

ContradictionException

IOException