net.sf.tweety.logics.pl.parser

Class DimacsParser

java.lang.Object

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

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

public class DimacsParser
extends Parser<PlBeliefSet>

Parser a file in Dimacs format into a PlBeliefSet.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private Proposition[]	prop_idx An array representation of the propositions (for index mapping)
private PropositionalSignature	signature The signature used for parsing (is automatically set if a file is parsed, but must be set explicitly if only a single formula is parsed).

Constructor Summary

Constructors

Constructor and Description
DimacsParser()

Method Summary

Modifier and Type	Method and Description
PlBeliefSet	parseBeliefBase(java.io.Reader reader) Parses the given reader into a belief base of the given type.
Disjunction	parseFormula(java.io.Reader reader) Parses the given reader into a formula of the given type.
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

Field Detail

signature

private PropositionalSignature signature

The signature used for parsing (is automatically set if a file is parsed, but must be set explicitly if only a single formula is parsed).

prop_idx

private Proposition[] prop_idx

An array representation of the propositions (for index mapping)

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(java.io.Reader reader)
                            throws java.io.IOException,
                                   ParserException

Description copied from class: Parser

Parses the given reader into a belief base of the given type.

Specified by:

parseBeliefBase in class Parser<PlBeliefSet>

Parameters:

reader - a reader

Returns:

a belief base

Throws:

java.io.IOException

ParserException

parseFormula

public Disjunction parseFormula(java.io.Reader reader)
                         throws java.io.IOException,
                                ParserException

Description copied from class: Parser

Parses the given reader into a formula of the given type.

Specified by:

parseFormula in class Parser<PlBeliefSet>

Parameters:

reader - a reader

Returns:

a formula

Throws:

java.io.IOException

ParserException