|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |