|
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 | |||||||||