Uses of Class
org.projog.core.term.TermType

Packages that use TermType

Package	Description
org.projog.core.predicate.builtin.clp	Predicates to support constraint logic programming.
org.projog.core.predicate.builtin.construct	Predicates for inspecting the structure of terms.
org.projog.core.term	Contains the building blocks used to construct Prolog programs and queries.

Uses of TermType in org.projog.core.predicate.builtin.clp

Methods in org.projog.core.predicate.builtin.clp that return TermType

Modifier and Type	Method	Description
TermType	ClpVariable.getType()

Uses of TermType in org.projog.core.predicate.builtin.construct

Methods in org.projog.core.predicate.builtin.construct with parameters of type TermType

Modifier and Type	Method	Description
private boolean	Univ.isList(TermType tt)

Uses of TermType in org.projog.core.term

Methods in org.projog.core.term that return TermType

Modifier and Type	Method	Description
TermType	Atom.getType()	Returns ATOM.
TermType	DecimalFraction.getType()	Returns FRACTION.
TermType	EmptyList.getType()	Returns EMPTY_LIST.
TermType	IntegerNumber.getType()	Returns INTEGER.
TermType	List.getType()	Returns LIST.
TermType	Structure.getType()	Returns STRUCTURE.
TermType	Term.getType()	Returns the TermType represented by this term.
TermType	Variable.getType()	Returns VARIABLE if uninstantiated else TermType of instantiated Term.
static TermType	TermType.valueOf(java.lang.String name)	Returns the enum constant of this type with the specified name.
static TermType[]	TermType.values()	Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.projog.core.term with parameters of type TermType

Modifier and Type	Method	Description
static void	TermUtils.assertType(Term t, TermType type)