Uses of Class
org.tweetyproject.logics.petri.syntax.Ark
-
Uses of Ark in org.tweetyproject.logics.petri.syntax
Modifier and TypeMethodDescriptionvoid
Transition.addIncomingArk(Ark ark)
Add a new incoming ark to this transitionvoid
Transition.addOutgoingArk(Ark ark)
Add a new outgoing ark to this transition