Uses of Class
org.tweetyproject.action.transitionsystem.Transition
-
Uses of Transition in org.tweetyproject.action.transitionsystem
Modifier and TypeMethodDescriptionvoid
TransitionSystem.addTransition(Transition t)
Adds a given transition to this transition system.