Uses of Interface
orbital.logic.sign.ExpressionBuilder

Packages that use ExpressionBuilder

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

Subinterfaces of ExpressionBuilder in orbital.logic.imp

interface

Logic Provides a unified encapsulation of logical systems.

Uses of ExpressionBuilder in orbital.logic.sign

Subinterfaces of ExpressionBuilder in orbital.logic.sign

interface

ExpressionSyntax Defines general methods for constructing and handling expressions of a formal language.

Uses of ExpressionBuilder in orbital.moon.logic

Classes in orbital.moon.logic that implement ExpressionBuilder

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.