Orbital library

Uses of Interface
orbital.logic.sign.Expression.Composite

Packages that use Expression.Composite
orbital.logic.imp Defines a generic interface to (symbolic) logic systems. 
orbital.logic.sign Defines generic interfaces for formal languages. 
orbital.moon.logic Contains implementations of some logics as well as a logic and mathematical expression parser. 
 

Uses of Expression.Composite in orbital.logic.imp
 

Subinterfaces of Expression.Composite in orbital.logic.imp
static interface Formula.Composite
          Interface for composite formulas.
 

Methods in orbital.logic.imp that return Expression.Composite
 Expression.Composite Logic.compose(Expression compositor, Expression[] arg)
          Create a compound expression representation with a composition operation.
 

Uses of Expression.Composite in orbital.logic.sign
 

Methods in orbital.logic.sign that return Expression.Composite
 Expression.Composite ExpressionBuilder.compose(Expression compositor, Expression[] arg)
          Create a compound expression representation with a composition operation.
 

Uses of Expression.Composite in orbital.moon.logic
 

Methods in orbital.moon.logic that return Expression.Composite
 Expression.Composite MathExpressionSyntax.compose(Expression compositor, Expression[] arguments)
           
 Expression.Composite ClassicalLogic.compose(Expression compositor, Expression[] arguments)
           
 


Orbital library
1.3.0: 11 Apr 2009

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