Uses of Class
orbital.logic.sign.type.TypeException

Packages that use TypeException

orbital.logic.imp	Defines a generic interface to (symbolic) logic systems.
orbital.logic.sign	Defines generic interfaces for formal languages.

Uses of TypeException in orbital.logic.imp

Methods in orbital.logic.imp that throw TypeException

Expression.Composite

Logic.compose(Expression compositor, Expression[] arg) Create a compound expression representation with a composition operation.

Uses of TypeException in orbital.logic.sign

Methods in orbital.logic.sign that throw TypeException

Expression.Composite	ExpressionBuilder.compose(Expression compositor, Expression[] arg) Create a compound expression representation with a composition operation.
Expression	ExpressionSyntax.createExpression(java.lang.String expression) Create a term representation by parsing a (compound) expression.