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

Class MarkingEdge

java.lang.Object

org.tweetyproject.graphs.GeneralEdge<T>

org.tweetyproject.graphs.Edge<Marking>

org.tweetyproject.logics.petri.syntax.reachability_graph.MarkingEdge

All Implemented Interfaces:

Comparable<MarkingEdge>

public class MarkingEdge
extends Edge<Marking>
implements Comparable<MarkingEdge>

A class to describe markings of a Petri net. A MarkingEdge is a directed edge between two markings indicating that the target marking can be reached from the source marking by firing some transition

Author:

Benedikt Knopp

Constructor Summary

Constructors

Constructor	Description
MarkingEdge(Marking from, Marking to, Transition transition)	Create a new instance

Method Summary

Modifier and Type	Method	Description
int	compareTo(MarkingEdge that)
Transition	getTransition()
void	setTransition(Transition transition)

Methods inherited from class org.tweetyproject.graphs.Edge

equals, getLabel, getNodeA, getNodeB, hashCode

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MarkingEdge

public MarkingEdge(Marking from,
 Marking to,
 Transition transition)

Create a new instance

Parameters:

from - the original marking

to - the resulting marking

transition - the transition which, when fired, leads to this change of markings

Method Details

getTransition

public Transition getTransition()

Returns:

the transition

setTransition

public void setTransition(Transition transition)

Parameters:

transition - the transition to set

compareTo

public int compareTo(MarkingEdge that)

Specified by:

compareTo in interface Comparable<MarkingEdge>