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.
-