Uses of Class
org.tweetyproject.logics.petri.syntax.Ark

Packages that use Ark

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

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

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

Modifier and Type	Class	Description
class	PetriNetPlotter	This class is for displaying instances of the PetriNet class graphically

Uses of Ark in org.tweetyproject.logics.petri.syntax

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

Modifier and Type	Method	Description
void	Transition.addIncomingArk(Ark ark)	Add a new incoming ark to this transition
void	Transition.addOutgoingArk(Ark ark)	Add a new outgoing ark to this transition