Package | Description |
---|---|
net.sf.tweety.action | |
net.sf.tweety.action.description | |
net.sf.tweety.action.query | |
net.sf.tweety.action.transitionsystem |
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.
|
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.
|
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.
|
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.
|