Uses of Package
org.tweetyproject.action.transitionsystem

Packages that use org.tweetyproject.action.transitionsystem

Package	Description
org.tweetyproject.action.description.reasoner
org.tweetyproject.action.query.analysis
org.tweetyproject.action.transitionsystem

Classes in org.tweetyproject.action.transitionsystem used by org.tweetyproject.action.description.reasoner

Class	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 org.tweetyproject.action.transitionsystem used by org.tweetyproject.action.query.analysis

Class	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 org.tweetyproject.action.transitionsystem used by org.tweetyproject.action.transitionsystem

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