Uses of Interface
org.episteme.core.mathematics.logic.predicate.Term

Packages that use Term

Package	Description
org.episteme.core.mathematics.logic.predicate

Uses of Term in org.episteme.core.mathematics.logic.predicate

Methods in org.episteme.core.mathematics.logic.predicate that return Term

Modifier and Type	Method	Description
Term	Quantifier.getVariable()	Returns the variable being quantified.

Methods in org.episteme.core.mathematics.logic.predicate that return types with arguments of type Term

Modifier and Type	Method	Description
List<Term>	Predicate.getTerms()	Returns the terms (arguments) of this predicate.