Package | Description |
---|---|
net.sf.tweety.action.description.reasoner | |
net.sf.tweety.action.transitionsystem |
Modifier and Type | Method and Description |
---|---|
java.util.Set<State> |
CTransitionSystemCalculator.calculateStates(CActionDescription actionDescription,
ActionSignature signature)
calculates the set of all states of the transition system described by an
action description.
|
Modifier and Type | Field and Description |
---|---|
private State |
Transition.from |
private State |
Transition.to |
Modifier and Type | Field and Description |
---|---|
private java.util.Set<State> |
TransitionSystem.states |
Modifier and Type | Method and Description |
---|---|
State |
TransitionSystem.addState(java.util.Set<FOLAtom> fluents)
Creates a new state and adds it to this transition system.
|
State |
Transition.getFrom()
Returns the source state of this transition.
|
State |
TransitionSystem.getState(java.util.Set<FOLAtom> fluents)
Returns the state that maps the given fluents to true, if it exists,
otherwise null.
|
State |
Transition.getTo()
Returns the target state of this transition.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<State> |
TransitionSystem.getStates()
Returns all states contained in this transition system.
|
Modifier and Type | Method and Description |
---|---|
void |
TransitionSystem.addState(State s)
Adds a state to this transition system.
|
boolean |
TransitionSystem.getValue(FOLAtom fluent,
State state)
Returns the value of a fluent in a state in this transition system.
|
Constructor and Description |
---|
Transition(State from,
FolAction action,
State to)
Creates a new transition with the given parameters.
|
Constructor and Description |
---|
TransitionSystem(java.util.Set<State> states,
ActionSignature signature)
Creates a new transition system.
|
TransitionSystem(java.util.Set<State> states,
java.util.Set<Transition> transitions,
ActionSignature signature)
Creates a new transition system.
|