Uses of Class
org.tweetyproject.action.transitionsystem.State
-
Packages that use State Package Description org.tweetyproject.action.description.reasoner org.tweetyproject.action.transitionsystem -
-
Uses of State in org.tweetyproject.action.description.reasoner
Methods in org.tweetyproject.action.description.reasoner that return types with arguments of type State Modifier and Type Method 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. -
Uses of State in org.tweetyproject.action.transitionsystem
Methods in org.tweetyproject.action.transitionsystem that return State Modifier and Type Method 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.Methods in org.tweetyproject.action.transitionsystem that return types with arguments of type State Modifier and Type Method Description java.util.Set<State>
TransitionSystem. getStates()
Methods in org.tweetyproject.action.transitionsystem with parameters of type State Modifier and Type Method 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.Constructors in org.tweetyproject.action.transitionsystem with parameters of type State Constructor Description Transition(State from, FolAction action, State to)
Creates a new transition with the given parameters.Constructor parameters in org.tweetyproject.action.transitionsystem with type arguments of type State Constructor Description TransitionSystem(java.util.Set<State> states, java.util.Set<Transition> transitions, ActionSignature signature)
Creates a new transition system.TransitionSystem(java.util.Set<State> states, ActionSignature signature)
Creates a new transition system.
-