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

Fields in net.sf.tweety.action.transitionsystem with type parameters of type Transition

Modifier and Type	Field	Description
private java.util.Set<Transition>	TransitionSystem.transitions

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.