Orbital library

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.
 


Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.