Uses of Class
edu.uky.ai.logic.Term

Packages that use Term

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

Uses of Term in edu.uky.ai.logic

Subclasses of Term in edu.uky.ai.logic

Modifier and Type	Class	Description
class	Constant	A constant represents a specific unique thing.
class	Variable	A variable represents a placeholder for a Term.

Fields in edu.uky.ai.logic with type parameters of type Term

Modifier and Type	Field	Description
final ImmutableArray<Term>	Predication.terms	The terms between which the relationship holds

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

Modifier and Type	Method	Description
Term	Term.substitute(Substitution substitution)

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

Modifier and Type	Method	Description
Bindings	Bindings.setEqual(Term t1, Term t2)	Declares that two terms must have the same value.
Bindings	ListBindings.setEqual(Term t1, Term t2)
Bindings	Bindings.setNotEqual(Term t1, Term t2)	Declares that two terms must have different values.
Bindings	ListBindings.setNotEqual(Term t1, Term t2)

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

Modifier	Constructor	Description
	Predication(String predicate, Term... terms)	Constructs a new predication with the given predicate and terms.

Constructor parameters in edu.uky.ai.logic with type arguments of type Term

Modifier	Constructor	Description
	Predication(String predicate, ImmutableArray<Term> terms)	Constructs a new predication with the given predicate and terms.
	Predication(String predicate, Iterable<Term> terms)	Constructs a new predication with the given predicate and terms.