net.sf.tweety.logics.pl.parser

Class DimacsParser

java.lang.Object

net.sf.tweety.commons.Parser<PlBeliefSet,PropositionalFormula>

net.sf.tweety.logics.pl.parser.DimacsParser

public class DimacsParser
extends net.sf.tweety.commons.Parser<PlBeliefSet,PropositionalFormula>

Parser a file in Dimacs format into a PlBeliefSet.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
DimacsParser()

Method Summary

Modifier and Type	Method and Description
PlBeliefSet	parseBeliefBase(Reader reader)
Disjunction	parseFormula(Reader reader)
void	setSignature(PropositionalSignature sig) Sets the signature of this parser.

Methods inherited from class net.sf.tweety.commons.Parser

isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile

Methods inherited from class java.lang.Object

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

Constructor Detail

DimacsParser

public DimacsParser()

Method Detail

setSignature

public void setSignature(PropositionalSignature sig)

Sets the signature of this parser. Note that the natural order of the atoms in the signature (as returned by an iterator) is used for indexing variables in clauses.

Parameters:

sig - some signature

parseBeliefBase

public PlBeliefSet parseBeliefBase(Reader reader)
                            throws IOException,
                                   net.sf.tweety.commons.ParserException

Specified by:

parseBeliefBase in class net.sf.tweety.commons.Parser<PlBeliefSet,PropositionalFormula>

Throws:

IOException

net.sf.tweety.commons.ParserException

parseFormula

public Disjunction parseFormula(Reader reader)
                         throws IOException,
                                net.sf.tweety.commons.ParserException

Specified by:

parseFormula in class net.sf.tweety.commons.Parser<PlBeliefSet,PropositionalFormula>

Throws:

IOException

net.sf.tweety.commons.ParserException