Uses of Class net.sf.tweety.action.transitionsystem.State

Packages that use State
Package Description

net.sf.tweety.action.description.reasoner

net.sf.tweety.action.transitionsystem

Uses of State in net.sf.tweety.action.description.reasoner

Methods in net.sf.tweety.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 net.sf.tweety.action.transitionsystem

Methods in net.sf.tweety.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 net.sf.tweety.action.transitionsystem that return types with arguments of type State
Modifier and Type	Method	Description
`java.util.Set<State>`	TransitionSystem.`getStates()`	Returns all states contained in this transition system.

Methods in net.sf.tweety.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 net.sf.tweety.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 net.sf.tweety.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.