Uses of Interface
orbital.logic.sign.Expression

Packages that use Expression

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

Uses of Expression in orbital.logic.imp

Subinterfaces of Expression in orbital.logic.imp

interface	Formula A formula interface for presentations of formal logic.
static interface	Formula.Composite Interface for composite formulas.

Classes in orbital.logic.imp that implement Expression

class

LogicBasis This abstract LogicBasis class derives the extended logic operations depending upon basic logic operations.

Methods in orbital.logic.imp that return Expression

Expression	Logic.createAtomic(Symbol symbol) Create an atomic expression representation of a non-compound sign.
Expression	Logic.createExpression(java.lang.String expression) Create a term representation by parsing a (compound) expression.

Methods in orbital.logic.imp with parameters of type Expression

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

Uses of Expression in orbital.logic.sign

Subinterfaces of Expression in orbital.logic.sign

static interface

Expression.Composite The base interface for all composite expressions that are composed of other expressions.

Methods in orbital.logic.sign that return Expression

Expression	ExpressionBuilder.createAtomic(Symbol symbol) Create an atomic expression representation of a non-compound sign.
Expression	ExpressionSyntax.createExpression(java.lang.String expression) Create a term representation by parsing a (compound) expression.

Methods in orbital.logic.sign with parameters of type Expression

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

Uses of Expression in orbital.logic.sign.type

Methods in orbital.logic.sign.type with parameters of type Expression

static boolean

Types.isApplicableTo(Type compositorType, Expression[] args) Checks whether the type specification is compatible with the given list of arguments.

Uses of Expression in orbital.moon.logic

Methods in orbital.moon.logic that return Expression

Expression	LogicParser.AndExpression()
protected Expression	LogicParser.apply(Token optok, Expression[] a, Type reqResult) n-ary predicates or functions.
Expression[]	LogicParser.Argument_list()
Expression[]	LogicParser.Arguments()
Expression	LogicParser.Atom() A formula that is a logical atom.
Expression	LogicParser.AtomicTerm() Parse an atomic term (function application, number or string) for the current logic.
protected Expression	LogicParser.combine(Token optok, Expression[] a)
protected Expression	LogicParser.combine(Token optok, Symbol x, Expression a) quantifiers.
Expression	LogicParser.CompoundFormula() Parse a compound predicate formula for the current logic.
Expression	LogicParser.CompoundTerm() Parse a compound function term for the current logic.
Expression	LogicParser.CompoundType() A compound type.
Expression[]	ClassicalLogic.createAllExpressions(java.lang.String expressions)
Expression	MathExpressionSyntax.createAtomic(Symbol symbol)
Expression	MathExpressionSyntax.createExpression(java.lang.String expression) Create a term representation by parsing a (compound) expression..
Expression	ClassicalLogic.createTerm(java.lang.String expression) Parses single term.
Expression	LogicParser.EqualityExpression()
Expression	LogicParser.EquivalenceExpression()
Expression	LogicParser.ExclusiveOrExpression()
Expression	LogicParser.expression() Central expression parsing production.
Expression	LogicParser.FreeDeclarationExpression() free scope "quantifier" A "quantifier" with a purely syntactic function of declaring a variable.
Expression	LogicParser.ImplicationExpression()
Expression	LogicParser.InclusiveOrExpression()
Expression	LogicParser.LambdaAbstraction() λ-abstraction term.
Expression	LogicParser.LambdaAbstractionPredicate() λ-abstraction predicate.
Expression	LogicParser.MapType()
Expression	LogicParser.ModalExpression()
Expression	LogicParser.parseFormula() Start production parsing a logic formula with the current syntax.
Expression	LogicParser.parseFormulas() Start production parsing a set of logic formulas with the current syntax.
Expression	LogicParser.parseTerm() Start production parsing an arithmetic formula expression.
Expression	LogicParser.PiAbstractionType()
Expression	LogicParser.PowerTerm()
Expression	LogicParser.PrimaryExpression() Final expression parsing production (in addition to LogicParser.Atom()).
Expression	LogicParser.PrimaryTerm() Final term parsing production (in addition to LogicParser.AtomicTerm()).
Expression	LogicParser.PrimaryType() A primary type.
Expression	LogicParser.ProductTerm()
Expression	LogicParser.ProductType()
Expression	LogicParser.QuantifiedExpression()
Expression	LogicParser.SumTerm()
Expression	LogicParser.term() Central term parsing production.
Expression[]	LogicParser.Type_list()
Expression	LogicParser.type() Central type parsing production.
Expression[]	LogicParser.Types()
Expression	LogicParser.UnaryExpression()
Expression	LogicParser.UnaryTerm()

Methods in orbital.moon.logic with parameters of type Expression

protected Expression	LogicParser.apply(Token optok, Expression[] a, Type reqResult) n-ary predicates or functions.
protected Type	LogicParser.asType(Expression f) Converts an expression to the type it represents.
protected Expression	LogicParser.combine(Token optok, Expression[] a)
protected Expression	LogicParser.combine(Token optok, Symbol x, Expression a) quantifiers.
Expression.Composite	MathExpressionSyntax.compose(Expression compositor, Expression[] arguments)
Expression.Composite	MathExpressionSyntax.compose(Expression compositor, Expression[] arguments)
Expression.Composite	ClassicalLogic.compose(Expression compositor, Expression[] arguments)
Expression.Composite	ClassicalLogic.compose(Expression compositor, Expression[] arguments)
Arithmetic	MathExpressionSyntax.getValueOf(Expression x) Get the arithmetic object represented by an expression.