Uses of Class
net.sf.tweety.action.transitionsystem.Transition

Packages that use Transition

Package	Description
net.sf.tweety.action.transitionsystem

Uses of Transition in net.sf.tweety.action.transitionsystem

Methods in net.sf.tweety.action.transitionsystem that return types with arguments of type Transition

Modifier and Type	Method	Description
java.util.Set<Transition>	TransitionSystem.getTransitions()	Returns all transitions contained in this transition system.

Methods in net.sf.tweety.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.