Uses of Package
net.sf.tweety.action.transitionsystem
-
Packages that use net.sf.tweety.action.transitionsystem Package Description net.sf.tweety.action.description.reasoner net.sf.tweety.action.query.analysis net.sf.tweety.action.transitionsystem -
Classes in net.sf.tweety.action.transitionsystem used by net.sf.tweety.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 net.sf.tweety.action.transitionsystem used by net.sf.tweety.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 net.sf.tweety.action.transitionsystem used by net.sf.tweety.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.