public class TransitionSystem extends Object
| Constructor and Description |
|---|
TransitionSystem(ActionSignature signature)
Creates a new empty transition system with the given ActionSignature.
|
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.
|
| Modifier and Type | Method and Description |
|---|---|
State |
addState(Set<net.sf.tweety.logics.fol.syntax.FOLAtom> fluents)
Creates a new state and adds it to this transition system.
|
void |
addState(State s)
Adds a state to this transition system.
|
void |
addTransition(Transition t)
Adds a given transition to this transition system.
|
ActionSignature |
getSignature()
Returns the action signature of this transition system.
|
State |
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.
|
Set<State> |
getStates()
Returns all states contained in this transition system.
|
Set<Transition> |
getTransitions()
Returns all transitions contained in this transition system.
|
boolean |
getValue(net.sf.tweety.logics.fol.syntax.FOLAtom fluent,
State state)
Returns the value of a fluent in a state in this transition system.
|
String |
toDotFormat()
Returns this transition system in dot-format with collapsed transitions,
which may be further processed using a graph drawing library such as
graphviz.
|
String |
toString() |
public TransitionSystem(Set<State> states, Set<Transition> transitions, ActionSignature signature)
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.public TransitionSystem(Set<State> states, ActionSignature signature)
states - A set of states which is contained in this transition system.signature - The action signature for this transition system.public TransitionSystem(ActionSignature signature)
signature - the action signature of this transition systempublic State addState(Set<net.sf.tweety.logics.fol.syntax.FOLAtom> fluents)
fluents - The set of fluents which are to be mapped to true by the new
state.public void addState(State s)
s - a new statepublic State getState(Set<net.sf.tweety.logics.fol.syntax.FOLAtom> fluents)
fluents - public void addTransition(Transition t)
t - a new transitionpublic Set<State> getStates()
public Set<Transition> getTransitions()
public boolean getValue(net.sf.tweety.logics.fol.syntax.FOLAtom fluent,
State state)
fluent - a fluentstate - a statepublic String toDotFormat()
public ActionSignature getSignature()
Copyright © 2018. All rights reserved.