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

Packages that use Ark

Package	Description
org.tweetyproject.logics.petri.syntax

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