| Package | Description |
|---|---|
| net.sf.tweety.action.description | |
| net.sf.tweety.action.transitionsystem |
| Modifier and Type | Method and Description |
|---|---|
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 | Method and Description |
|---|---|
State |
TransitionSystem.addState(Set<net.sf.tweety.logics.fol.syntax.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(Set<net.sf.tweety.logics.fol.syntax.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 |
|---|---|
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(net.sf.tweety.logics.fol.syntax.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(Set<State> states,
ActionSignature signature)
Creates a new transition system.
|
TransitionSystem(Set<State> states,
Set<Transition> transitions,
ActionSignature signature)
Creates a new transition system.
|
Copyright © 2018. All rights reserved.