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

Packages that use State

Package	Description
net.sf.tweety.action.description
net.sf.tweety.action.transitionsystem

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

Methods in net.sf.tweety.action.description that return types with arguments of type State

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.

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

Methods in net.sf.tweety.action.transitionsystem that return State

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.

Methods in net.sf.tweety.action.transitionsystem that return types with arguments of type State

Modifier and Type	Method and Description
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 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.

Constructors in net.sf.tweety.action.transitionsystem with parameters of type State

Constructor and 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 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.