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
Set<Transition>	TransitionSystem.getTransitions()	Creates a HashSet with all transitions contained in this transition system.

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.