Uses of Interface
edu.uky.ai.logic.Literal
Packages that use Literal
Package
Description
Contains objects for representing logical formulas.
Contains objects for representing planning problems, planning algorithms, and plans.
Contains objects for representing plan graphs and planners that search for a
solution by finding a valid subgraph of a plan graph.
Contains objects for representing plan space search and plan space planners.
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.logicModifier and TypeInterfaceDescriptioninterface
An atom is the smallest indivisible unit of a logical language that has a truth value.Classes in edu.uky.ai.logic that implement LiteralModifier and TypeClassDescriptionclass
An individual statement that has a truth value (the atoms of propositional logic).class
class
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 LiteralModifier and TypeMethodDescriptiondefault Literal
Atom.negate()
Literal.negate()
NegatedAtom.negate()
Literal.substitute
(Substitution substitution) NegatedAtom.substitute
(Substitution substitution) default Literal
Literal.toCNF()
NegatedAtom.toCNF()
default Literal
Literal.toDNF()
NegatedAtom.toDNF()
-
Uses of Literal in edu.uky.ai.planning
Methods in edu.uky.ai.planning that return LiteralModifier and TypeMethodDescriptionstatic 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 LiteralModifier and TypeMethodDescriptionUtilities.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 anIterable
.Method parameters in edu.uky.ai.planning with type arguments of type LiteralModifier and TypeMethodDescriptionstatic 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 aConsumer
. -
Uses of Literal in edu.uky.ai.planning.pg
Fields in edu.uky.ai.planning.pg declared as LiteralModifier and TypeFieldDescriptionfinal Literal
LiteralNode.literal
The literal represented by this nodeFields in edu.uky.ai.planning.pg with type parameters of type LiteralModifier and TypeFieldDescriptionprotected final LinkedHashMap<Literal,
LiteralNode> PlanGraph.literalMap
A mapping of literal objects to their corresponding nodesMethods in edu.uky.ai.planning.pg with parameters of type LiteralModifier and TypeMethodDescriptionReturns a literal object's node in this graph.Constructors in edu.uky.ai.planning.pg with parameters of type Literal -
Uses of Literal in edu.uky.ai.planning.ps
Fields in edu.uky.ai.planning.ps declared as LiteralModifier and TypeFieldDescriptionfinal Literal
CausalLink.label
The fact that is an effect of the tail and a precondition of the headfinal Literal
OpenPreconditionFlaw.precondition
The precondition of the step that needs to be satisfiedFields in edu.uky.ai.planning.ps with type parameters of type LiteralModifier and TypeFieldDescriptionfinal ImmutableArray<Literal>
PartialStep.effects
An array of this step's effectsfinal ImmutableArray<Literal>
PartialStep.preconditions
An array of this step's preconditionsConstructors in edu.uky.ai.planning.ps with parameters of type LiteralModifierConstructorDescriptionCausalLink
(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 LiteralModifier and TypeFieldDescriptionfinal ImmutableArray<Literal>
StateSpaceProblem.literals
Every possible literal that could be true or false in a given state