Uses of Class
org.tweetyproject.logics.petri.syntax.reachability_graph.MarkingEdge
-
Uses of MarkingEdge in org.tweetyproject.logics.petri.syntax.reachability_graph
Modifier and TypeMethodDescriptionReachabilityGraph.getEdges()
ReachabilityGraph.getOutgoing(Marking marking)
For one particular marking, retrieve all outgoing edgesReachabilityGraph.getProbabilityFunction()
the probability function of this graph, which is null for defaultModifier and TypeMethodDescriptionboolean
ReachabilityGraph.add(MarkingEdge edge)
add a marking edge to this graphint
MarkingEdge.compareTo(MarkingEdge that)
Modifier and TypeMethodDescriptionvoid
ReachabilityGraph.setProbabilityFunction(ProbabilityFunction<MarkingEdge> probabilityFunction)
sets the probability function of this graph