CausalParser

java.lang.Object

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

org.tweetyproject.causal.parser.CausalParser

public class CausalParser extends Parser<CausalKnowledgeBase,PlFormula>

Parser for CausalKnowledgeBase and observation as consumed by AbstractCausalReasoner. A causal knowledge base can be parsed with parseBeliefBase(Reader). Observations can be parsed with Parser.parseListOfFormulae(String, String).

Author:: Lars Bengel, Oleksandr Dzhychko

Constructor Summary

Constructors

Constructor

Description

CausalParser()
Method Summary

Modifier and Type

Method

Description

CausalKnowledgeBase

parseBeliefBase(Reader reader)

Parses data from the reader into a CausalKnowledgeBase.

PlFormula

parseFormula(Reader reader)

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

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

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

Constructor Details
- CausalParser
  
  public CausalParser()
Method Details
- parseBeliefBase
  
  public CausalKnowledgeBase parseBeliefBase(Reader reader) throws IOException, ParserException
  
  Parses data from the reader into a CausalKnowledgeBase. Each line must contain either assumptions or are an equation. Assumptions and equations are defined as following:
  equation ::= formula '<=>' formula
  assumptions ::= '{' assumption (',' assumption)* '}'
  assumption ::= formula
  formula ::= a propositional formula as parsable by Parser.parseFormula(String)
  
  Specified by:
  
  parseBeliefBase in class Parser<CausalKnowledgeBase,PlFormula>
  
  Parameters:
  
  reader - a reader
  
  Returns:
  
  the parsed causal knowledge base
  
  Throws:
  
  IOException - if some IO issue occurred.
  
  ParserException - some parsing exceptions may be added here.
- parseFormula
  
  public PlFormula 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<CausalKnowledgeBase,PlFormula>
  
  Parameters:
  
  reader - a reader
  
  Returns:
  
  a formula
  
  Throws:
  
  IOException - if some IO issue occurred.
  
  ParserException - some parsing exceptions may be added here.