Uses of Interface
orbital.logic.sign.ExpressionSyntax

Packages that use ExpressionSyntax

orbital.logic.imp	Defines a generic interface to (symbolic) logic systems.
orbital.moon.logic	Contains implementations of some logics as well as a logic and mathematical expression parser.

Uses of ExpressionSyntax in orbital.logic.imp

Subinterfaces of ExpressionSyntax in orbital.logic.imp

interface

Logic Provides a unified encapsulation of logical systems.

Uses of ExpressionSyntax in orbital.moon.logic

Classes in orbital.moon.logic that implement ExpressionSyntax

class	ClassicalLogic Implementation of modern but classical predicate logic (first-order logic).
class	FuzzyLogic Implementation of quantitative fuzzy logics.
class	MathExpressionSyntax This class implements an expression syntax for mathematical expressions.
class	ModalLogic Implementation of modal logic with local or global consequence.

Fields in orbital.moon.logic declared as ExpressionSyntax

protected ExpressionSyntax

LogicParser.syntax Delegate to the current syntax implementation that is used for building expressions.

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

static Substitution	LogicParser.readTRS(java.io.Reader reader, ExpressionSyntax syntax) Reads a term-rewrite system from a stream.
static Substitution	LogicParser.readTRS(java.io.Reader reader, ExpressionSyntax syntax, Function expressionTransformation) Reads a term-rewrite system from a stream.
void	LogicParser.setSyntax(ExpressionSyntax syntax) Set the current syntax for parsing.