Package org.tweetyproject.logics.petri.syntax.reachability_graph

Class ReachabilityGraphParser

java.lang.Object

org.tweetyproject.commons.Parser

org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraphParser

public class ReachabilityGraphParser
extends Parser

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
ReachabilityGraphParser(PetriNet petriNet)

Method Summary

Modifier and Type	Method	Description
void	construct()	Construct the reachability graph for the Petri net
ReachabilityGraph	get()	Get the reachability graph after parsing
BeliefBase	parseBeliefBase(Reader reader)	Parses the given reader into a belief base of the given type.
Formula	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

Methods inherited from class java.lang.Object

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

Constructor Details

ReachabilityGraphParser

public ReachabilityGraphParser(PetriNet petriNet)

Parameters:

petriNet - a Petri net with some designated initial markings

Method Details

construct

public void construct()

Construct the reachability graph for the Petri net

get

public ReachabilityGraph get()
                      throws IllegalStateException

Get the reachability graph after parsing

Returns:

the reachability graph if the graph had been parsed before

Throws:

IllegalStateException - if the reachability graph has not been parsed yet

parseBeliefBase

public BeliefBase 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

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 Formula 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

Parameters:

reader - a reader

Returns:

a formula

Throws:

IOException - if some IO issue occurred.

ParserException - some parsing exceptions may be added here.