Uses of Class
org.tweetyproject.logics.petri.syntax.reachability_graph.ReachabilityGraph
Package
Description
-
Uses of ReachabilityGraph in org.tweetyproject.logics.bpm.analysis
Modifier and TypeMethodDescriptionDeadEndInconsistencyMeasure.inconsistencyMeasure(ReachabilityGraph reachabilityGraph)
-
Uses of ReachabilityGraph in org.tweetyproject.logics.petri.plotting
ModifierConstructorDescriptionReachabilityGraphPlotter(Plotter plotter, ReachabilityGraph graph)
Create a new instance -
Uses of ReachabilityGraph in org.tweetyproject.logics.petri.syntax.reachability_graph
Modifier and TypeMethodDescriptionReachabilityGraphParser.get()
Get the reachability graph after parsing