Uses of Interface
edu.uky.ai.logic.State

Packages that use State

Package	Description
edu.uky.ai.logic	Contains objects for representing logical formulas.
edu.uky.ai.planning	Contains objects for representing planning problems, planning algorithms, and plans.
edu.uky.ai.planning.pg	Contains objects for representing plan graphs and planners that search for a solution by finding a valid subgraph of a plan graph.
edu.uky.ai.planning.ss	Contains objects for representing forward and backward state space search and state space planners.

Uses of State in edu.uky.ai.logic

Subinterfaces of State in edu.uky.ai.logic

Modifier and Type	Interface	Description
interface	MutableState	A state which can be modified.

Classes in edu.uky.ai.logic that implement State

Modifier and Type	Class	Description
class	HashState	An implementation of MutableState that uses a HashMap to keep track of which atoms are true.

Methods in edu.uky.ai.logic with parameters of type State

Modifier and Type	Method	Description
default boolean	Atom.isTrue(State state)
boolean	Conjunction.isTrue(State state)
boolean	Disjunction.isTrue(State state)
boolean	Implication.isTrue(State state)
boolean	Negation.isTrue(State state)
boolean	Proposition.isTrue(State state)	Tests whether this proposition is true in the given state.

Constructors in edu.uky.ai.logic with parameters of type State

Modifier	Constructor	Description
	HashState(State toClone)	Constructs a new state which has exactly the same true atoms as a given State.

Uses of State in edu.uky.ai.planning

Fields in edu.uky.ai.planning declared as State

Modifier and Type	Field	Description
final State	Problem.initial	The initial state of the world, which specifies the disposition of every object

Constructors in edu.uky.ai.planning with parameters of type State

Modifier	Constructor	Description
	Problem(String name, Domain domain, Constant[] objects, State initial, Proposition goal)	Constructs a new problem.
	Problem(String name, Domain domain, ImmutableArray<Constant> objects, State initial, Proposition goal)	Constructs a new problem.

Uses of State in edu.uky.ai.planning.pg

Methods in edu.uky.ai.planning.pg with parameters of type State

Modifier and Type	Method	Description
void	PlanGraph.initialize(State initial)	Resets the graph to have only level 0, which will include exactly those literals which are true in the given state.

Uses of State in edu.uky.ai.planning.ss

Fields in edu.uky.ai.planning.ss declared as State

Modifier and Type	Field	Description
final State	ForwardNode.state	The current state

Methods in edu.uky.ai.planning.ss with parameters of type State

Modifier and Type	Method	Description
double	StateSpaceHeuristic.evaluate(StateSpaceProblem problem, State state, Proposition goal)	For a given problem, estimate the distance between the given state and the given goal proposition in number of steps.
ForwardNode	ForwardNode.expand(Step step, State state)	Expands the child node that would be generated by taking this step.