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

Packages that use Literal

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.ps	Contains objects for representing plan space search and plan space planners.
edu.uky.ai.planning.ss	Contains objects for representing forward and backward state space search and state space planners.

Uses of Literal in edu.uky.ai.logic

Subinterfaces of Literal in edu.uky.ai.logic

Modifier and Type	Interface	Description
interface	Atom	An atom is the smallest indivisible unit of a logical language that has a truth value.

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

Modifier and Type	Class	Description
class	AtomicProposition	An individual statement that has a truth value (the atoms of propositional logic).
class	NegatedAtom	The negation of an Atom.
class	Predication	The atoms of predicate logic, which are composed of statements that express relationships between things in the world (i.e.

Methods in edu.uky.ai.logic that return Literal

Modifier and Type	Method	Description
default Literal	Atom.negate()
Literal	Literal.negate()
Literal	NegatedAtom.negate()
Literal	Literal.substitute(Substitution substitution)
Literal	NegatedAtom.substitute(Substitution substitution)
default Literal	Literal.toCNF()
Literal	NegatedAtom.toCNF()
default Literal	Literal.toDNF()
Literal	NegatedAtom.toDNF()

Uses of Literal in edu.uky.ai.planning

Methods in edu.uky.ai.planning that return Literal

Modifier and Type	Method	Description
static final Literal[]	Utilities.toLiterals(Proposition proposition)	Since the precondition and effect of an action should be either a literal or a conjunction of literals, this utility method takes such a proposition and converts it into an array of literals.

Methods in edu.uky.ai.planning that return types with arguments of type Literal

Modifier and Type	Method	Description
static final Iterable<Literal>	Utilities.asLiterals(Proposition proposition)	Since the precondition and effect of an action should be either a literal or a conjunction of literals, this utility method takes such a proposition and converts it into an Iterable.

Method parameters in edu.uky.ai.planning with type arguments of type Literal

Modifier and Type	Method	Description
static final void	Utilities.forEachLiteral(Proposition proposition, Consumer<? super Literal> consumer)	Since the precondition and effect of an action should be either a literal or a conjunction of literals, this utility method takes such a proposition and feeds each of its literals to a Consumer.

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

Fields in edu.uky.ai.planning.pg declared as Literal

Modifier and Type	Field	Description
final Literal	LiteralNode.literal	The literal represented by this node

Fields in edu.uky.ai.planning.pg with type parameters of type Literal

Modifier and Type	Field	Description
protected final LinkedHashMap<Literal,LiteralNode>	PlanGraph.literalMap	A mapping of literal objects to their corresponding nodes

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

Modifier and Type	Method	Description
LiteralNode	PlanGraph.get(Literal literal)	Returns a literal object's node in this graph.

Constructors in edu.uky.ai.planning.pg with parameters of type Literal

Modifier	Constructor	Description
protected	LiteralNode(PlanGraph graph, Literal literal)	Constructs a new literal node for the given literal in the given plan graph.
protected	StepNode(PlanGraph graph, Literal literal)	Constructs a dummy persistence step for a given literal (i.e.

Uses of Literal in edu.uky.ai.planning.ps

Fields in edu.uky.ai.planning.ps declared as Literal

Modifier and Type	Field	Description
final Literal	CausalLink.label	The fact that is an effect of the tail and a precondition of the head
final Literal	OpenPreconditionFlaw.precondition	The precondition of the step that needs to be satisfied

Fields in edu.uky.ai.planning.ps with type parameters of type Literal

Modifier and Type	Field	Description
final ImmutableArray<Literal>	PartialStep.effects	An array of this step's effects
final ImmutableArray<Literal>	PartialStep.preconditions	An array of this step's preconditions

Constructors in edu.uky.ai.planning.ps with parameters of type Literal

Modifier	Constructor	Description
	CausalLink(PartialStep tail, Literal label, PartialStep head)	Constructs a new causal link with the given tail, label, and head.
	OpenPreconditionFlaw(PartialStep step, Literal precondition)	Constructs a new open precondition flaw for a given step and precondition.

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

Fields in edu.uky.ai.planning.ss with type parameters of type Literal

Modifier and Type	Field	Description
final ImmutableArray<Literal>	StateSpaceProblem.literals	Every possible literal that could be true or false in a given state