Uses of Class
org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph

Packages that use ReachabilityGraph

Package	Description
org.tweetyproject.logics.bpm.analysis
org.tweetyproject.logics.petri.plotting
org.tweetyproject.logics.petri.syntax.reachability_graph

Uses of ReachabilityGraph in org.tweetyproject.logics.bpm.analysis

Methods in org.tweetyproject.logics.bpm.analysis with parameters of type ReachabilityGraph

Modifier and Type	Method	Description
Double	DeadEndMeasure.inconsistencyMeasure(ReachabilityGraph reachabilityGraph)
Double	DeadTransitionMeasure.inconsistencyMeasure(ReachabilityGraph reachabilityGraph)
Double	UnfairnessEntropyMeasure.inconsistencyMeasure(ReachabilityGraph reachabilityGraph)
Double	UnfairnessMeasure.inconsistencyMeasure(ReachabilityGraph reachabilityGraph)
Double	UnlivenessMeasure.inconsistencyMeasure(ReachabilityGraph reachabilityGraph)

Uses of ReachabilityGraph in org.tweetyproject.logics.petri.plotting

Constructors in org.tweetyproject.logics.petri.plotting with parameters of type ReachabilityGraph

Modifier	Constructor	Description
	ReachabilityGraphPlotter(Plotter plotter, ReachabilityGraph graph)	Create a new instance

Uses of ReachabilityGraph in org.tweetyproject.logics.petri.syntax.reachability_graph

Methods in org.tweetyproject.logics.petri.syntax.reachability_graph that return ReachabilityGraph

Modifier and Type	Method	Description
ReachabilityGraph	ReachabilityGraphParser.get()	Get the reachability graph after parsing

Constructors in org.tweetyproject.logics.petri.syntax.reachability_graph with parameters of type ReachabilityGraph

Modifier	Constructor	Description
	MarkovWalk(ReachabilityGraph graph)	Create a new instance