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.