net.sf.tweety.action.transitionsystem
Classes
State
Transition
TransitionSystem