DimacsParser

java.lang.Object

org.tweetyproject.commons.Parser<PlBeliefSet,PlFormula>

org.tweetyproject.logics.pl.parser.DimacsParser

Direct Known Subclasses:: QdimacsParser

public class DimacsParser extends Parser<PlBeliefSet,PlFormula>

Parser a file in Dimacs format into a PlBeliefSet.

Author:: Matthias Thimm

Constructor Summary

Constructors

Constructor

Description

DimacsParser()

Default Constructor
Method Summary

Modifier and Type

Method

Description

PlBeliefSet

parseBeliefBase(Reader reader)

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

Disjunction

parseFormula(Reader reader)

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

void

setSignature(PlSignature sig)

Sets the signature of this parser.

Methods inherited from class org.tweetyproject.commons.Parser
isNumeric, parseBeliefBase, parseBeliefBaseFromFile, parseFormula, parseFormulaFromFile, parseListOfBeliefBases, parseListOfBeliefBases, parseListOfBeliefBasesFromFile, parseListOfBeliefBasesFromFile

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- DimacsParser
  
  public DimacsParser()
  
  Default Constructor
Method Details
- setSignature
  
  public void setSignature(PlSignature 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, 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,PlFormula>
  
  Parameters:
  
  reader - a reader
  
  Returns:
  
  a belief base
  
  Throws:
  
  IOException - if some IO issue occurred.
  
  ParserException - some parsing exceptions may be added here.
- parseFormula
  
  public Disjunction parseFormula(Reader reader) throws 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,PlFormula>
  
  Parameters:
  
  reader - a reader
  
  Returns:
  
  a formula
  
  Throws:
  
  IOException - if some IO issue occurred.
  
  ParserException - some parsing exceptions may be added here.