Package org.deri.iris.api.terms

Interface Summary

IConcreteTerm	An interface representing a concrete term.
IConstructedTerm	An interface for representing a constructed term (function symbol).
INumericTerm	An interface for representing a numeric term.
IStringTerm	An interface for representing a string term.
ITerm	An interface which defines a term.
IVariable	An interface for representing a variable term.