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

Packages that use MarkingEdge

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

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

Subclasses with type arguments of type MarkingEdge in org.tweetyproject.logics.petri.plotting

Modifier and Type	Class	Description
class	ReachabilityGraphPlotter	This class is for displaying instances of the ReachabilityGraph class graphically

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

Classes in org.tweetyproject.logics.petri.syntax.reachability_graph that implement interfaces with type arguments of type MarkingEdge

Modifier and Type	Class	Description
class	MarkingEdge	A class to describe markings of a Petri net.

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