Uses of Class
org.tweetyproject.action.transitionsystem.Transition
-
Packages that use Transition Package Description org.tweetyproject.action.transitionsystem -
-
Uses of Transition in org.tweetyproject.action.transitionsystem
Methods in org.tweetyproject.action.transitionsystem that return types with arguments of type Transition Modifier and Type Method Description java.util.Set<Transition>
TransitionSystem. getTransitions()
Methods in org.tweetyproject.action.transitionsystem with parameters of type Transition Modifier and Type Method Description void
TransitionSystem. addTransition(Transition t)
Adds a given transition to this transition system.
-