Class TransitionSystem
java.lang.Object
org.tweetyproject.action.transitionsystem.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.
Transition systems are used to capture the meaning of action descriptions.
For a collection of action languages defined in terms of transition systems,
see: [Gelfond, Michael and Lifschitz, Vladimir: Action Languages. ETAI:
Electronic Transactions on AI, 1998.]
- Author:
- Sebastian Homann
-
Constructor Summary
ConstructorDescriptionTransitionSystem
(Set<State> states, Set<Transition> transitions, ActionSignature signature) Creates a new transition system.TransitionSystem
(Set<State> states, ActionSignature signature) Creates a new transition system.TransitionSystem
(ActionSignature signature) Creates a new empty transition system with the given ActionSignature. -
Method Summary
Modifier and TypeMethodDescriptionCreates a new state and adds it to this transition system.void
Adds a state to this transition system.void
Adds a given transition to this transition system.Returns the state that maps the given fluents to true, if it exists, otherwise null.boolean
Returns the value of a fluent in a state in this transition system.Returns this transition system in dot-format with collapsed transitions, which may be further processed using a graph drawing library such as graphviz.toString()
-
Constructor Details
-
TransitionSystem
Creates a new transition system.- Parameters:
states
- A set of states which is contained in this transition system.transitions
- A set of transitions which is contained in this transition system.signature
- The action signature for this transition system.
-
TransitionSystem
Creates a new transition system.- Parameters:
states
- A set of states which is contained in this transition system.signature
- The action signature for this transition system.
-
TransitionSystem
Creates a new empty transition system with the given ActionSignature.- Parameters:
signature
- the action signature of this transition system
-
-
Method Details
-
addState
Creates a new state and adds it to this transition system.- Parameters:
fluents
- The set of fluents which are to be mapped to true by the new state.- Returns:
- the new state which maps the given fluents to true.
-
addState
Adds a state to this transition system.- Parameters:
s
- a new state
-
getState
Returns the state that maps the given fluents to true, if it exists, otherwise null.- Parameters:
fluents
- a set of fluents- Returns:
- the state that maps the given fluents to true, if it exists, otherwise null.
-
addTransition
Adds a given transition to this transition system.- Parameters:
t
- a new transition
-
getStates
- Returns:
- all states contained in this transition system.
-
getTransitions
- Returns:
- all transitions contained in this transition system.
-
getValue
Returns the value of a fluent in a state in this transition system.- Parameters:
fluent
- a fluentstate
- a state- Returns:
- true, iff the fluent is mapped to true by the given state.
-
toDotFormat
Returns this transition system in dot-format with collapsed transitions, which may be further processed using a graph drawing library such as graphviz. For more information, see http://www.graphviz.org- Returns:
- This transition system in dot format.
-
getSignature
- Returns:
- the action signature of this transition system.
-
toString
-