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
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(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(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
Set<State>	TransitionSystem.getStates()	Creates a HashSet with all states contained in this transition system.

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

Modifier	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

Modifier	Constructor	Description
	TransitionSystem(Set<State> states, Set<Transition> transitions, ActionSignature signature)	Creates a new transition system.
	TransitionSystem(Set<State> states, ActionSignature signature)	Creates a new transition system.