Uses of Interface
orbital.logic.sign.Symbol

Packages that use Symbol

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 Symbol in orbital.logic.imp

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

Expression	Logic.createAtomic(Symbol symbol) Create an atomic expression representation of a non-compound sign.
Formula	LogicBasis.exists(Symbol x) Existence-quantifier exists: ∃x A is calced ¬∀x ¬A.
Formula	Formula.exists(Symbol x) Existential-quantifier exists: ∃x F.
Formula	LogicBasis.forall(Symbol x) All-quantifier forall: ∀x A is calced ¬∃x ¬A.
Formula	Formula.forall(Symbol x) Universal-quantifier forall: ∀x F.

Uses of Symbol in orbital.logic.sign

Classes in orbital.logic.sign that implement Symbol

class

SymbolBase Default representation of a syntactic symbol in a signature.

Methods in orbital.logic.sign that return Symbol

Symbol	SignatureBase.get(java.lang.String signifier, java.lang.Object[] arg)
Symbol	Signature.get(java.lang.String signifier, java.lang.Object[] arg) Returns the symbol with the specified signifier of a functor.
Symbol	SignatureBase.get(java.lang.String signifier, Type maxType)
Symbol	Signature.get(java.lang.String signifier, Type maxType) Returns the symbol with the specified signifier.

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

Expression

ExpressionBuilder.createAtomic(Symbol symbol) Create an atomic expression representation of a non-compound sign.

Uses of Symbol in orbital.moon.logic

Classes in orbital.moon.logic that implement Symbol

class

UniqueSymbol A new unique symbol that is distinct from all others.

Methods in orbital.moon.logic that return Symbol

Symbol	LogicParser.ConstantOrVariable() Parses a constant or a variable atomic term, depending upon known symbols in context.
Symbol	LogicParser.LiteralValue() atomic term literal value (in the sense of constant primitive type), f.ex.
Symbol	LogicParser.NumberLiteralValue() purely numeric atomic term literal value (in the sense of constant primitive type).
Symbol	LogicParser.Variable() an atomic variable term.
Symbol	LogicParser.VariableDeclaration() an atomic variable term with a type declaration.

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

protected Expression	LogicParser.combine(Token optok, Symbol x, Expression a) quantifiers.
Expression	MathExpressionSyntax.createAtomic(Symbol symbol)