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

Packages that use Atom

Package	Description
edu.uky.ai.logic	Contains objects for representing logical formulas.

Uses of Atom in edu.uky.ai.logic

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

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

Fields in edu.uky.ai.logic declared as Atom

Modifier and Type	Field	Description
final Atom	NegatedAtom.argument	The atom which this proposition negates
static final Atom	Proposition.FALSE	A proposition which is always trivially false
static final Atom	Proposition.TRUE	A proposition which is always trivially true

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

Modifier and Type	Method	Description
default Atom	Atom.simplify()
Atom	Atom.substitute(Substitution substitution)
Atom	AtomicProposition.substitute(Substitution substitution)
Atom	Predication.substitute(Substitution substitution)

Methods in edu.uky.ai.logic that return types with arguments of type Atom

Modifier and Type	Method	Description
Iterator<Atom>	HashState.iterator()

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

Modifier and Type	Method	Description
void	HashState.add(Atom atom)
void	MutableState.add(Atom atom)	Makes a new atom true in this state.
boolean	HashState.contains(Atom atom)
boolean	State.contains(Atom atom)	Check whether or not an atom is true in this state.
void	HashState.remove(Atom atom)
void	MutableState.remove(Atom atom)	Makes a new atom false in this state.

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

Modifier	Constructor	Description
	NegatedAtom(Atom argument)	Constructs a new negated atom with a given atom.