Uses of Package
net.sf.tweety.action.transitionsystem

Packages that use net.sf.tweety.action.transitionsystem

Package	Description
net.sf.tweety.action
net.sf.tweety.action.description
net.sf.tweety.action.query
net.sf.tweety.action.transitionsystem

Classes in net.sf.tweety.action.transitionsystem used by net.sf.tweety.action

Class and Description
TransitionSystem This class represents an action transition system for a fixed action signature with a set of states and a set of transitions between states.

Classes in net.sf.tweety.action.transitionsystem used by net.sf.tweety.action.description

Class and Description
State Represents a state in an action transition system, which is a representation of an interpretation of all fluent names in an action description.
TransitionSystem This class represents an action transition system for a fixed action signature with a set of states and a set of transitions between states.

Classes in net.sf.tweety.action.transitionsystem used by net.sf.tweety.action.query

Class and Description
TransitionSystem This class represents an action transition system for a fixed action signature with a set of states and a set of transitions between states.

Classes in net.sf.tweety.action.transitionsystem used by net.sf.tweety.action.transitionsystem

Class and Description
State Represents a state in an action transition system, which is a representation of an interpretation of all fluent names in an action description.
Transition Represents a transition in an action transition system, which is a representation of the execution of an action which causes a state change from a source state to a target state.