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

Packages that use MarkingEdge

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

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

Methods in org.tweetyproject.logics.petri.syntax.reachability_graph that return types with arguments of type MarkingEdge

Modifier and Type	Method	Description
List<MarkingEdge>	ReachabilityGraph.getEdges()
Set<MarkingEdge>	ReachabilityGraph.getOutgoing(Marking marking)	For one particular marking, retrieve all outgoing edges
ProbabilityFunction<MarkingEdge>	ReachabilityGraph.getProbabilityFunction()	the probability function of this graph, which is null for default

Methods in org.tweetyproject.logics.petri.syntax.reachability_graph with parameters of type MarkingEdge

Modifier and Type	Method	Description
boolean	ReachabilityGraph.add(MarkingEdge edge)	add a marking edge to this graph
int	MarkingEdge.compareTo(MarkingEdge that)

Method parameters in org.tweetyproject.logics.petri.syntax.reachability_graph with type arguments of type MarkingEdge

Modifier and Type	Method	Description
void	ReachabilityGraph.setProbabilityFunction(ProbabilityFunction<MarkingEdge> probabilityFunction)	sets the probability function of this graph