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 and 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 and 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 and Description
void	TransitionSystem.addTransition(Transition t) Adds a given transition to this transition system.

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

Constructor and Description
TransitionSystem(java.util.Set<State> states, java.util.Set<Transition> transitions, ActionSignature signature) Creates a new transition system.