org.sat4j.tools
Class DimacsArrayReader

java.lang.Object
  org.sat4j.tools.DimacsArrayReader

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ExtendedDimacsArrayReader

public class DimacsArrayReader
extends java.lang.Object
implements java.io.Serializable

Very simple Dimacs array reader. Allow solvers to read the constraints from arrays that effectively contain Dimacs formatted lines (without the terminating 0). Adaptation of org.sat4j.reader.DimacsReader.

Author:

dlb, or, fuhs

See Also:

Serialized Form

Constructor Summary

DimacsArrayReader(ISolver solver)

Method Summary

java.lang.String	decode(int[] model)
IProblem	parseInstance(int[] gateType, int[] outputs, int[][] inputs, int maxVar)

Methods inherited from class java.lang.Object

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

Constructor Detail

DimacsArrayReader

public DimacsArrayReader(ISolver solver)

Method Detail

parseInstance

public IProblem parseInstance(int[] gateType,
                              int[] outputs,
                              int[][] inputs,
                              int maxVar)
                       throws ContradictionException

Parameters:

gateType - gateType[i] is the type of gate i according to the Extended Dimacs specs; ignored in DimacsArrayReader, but important for inheriting classes

outputs - outputs[i] is the number of the output; ignored in DimacsArrayReader

inputs - inputs[i] contains the clauses in DimacsArrayReader; an overriding class might have it contain the inputs of the current gate

maxVar - the maximum number of assigned ids

Throws:

ContradictionException - si le probleme est trivialement inconsitant

decode

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