Uses of Package
orbital.logic.sign

Packages that use orbital.logic.sign

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.
orbital.moon.logic.resolution	Provides resolution inference theorem prover implementation and clause management.

Classes in orbital.logic.sign used by orbital.logic.imp

Expression
An interface for representations of expressions.

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

ExpressionBuilder
Defines a general interface for constructing complex expressions.

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

ParseException
An exception thrown if an expression could not be parsed as desired.

Signature
A signature Σ is the set of names of all entities in a certain context.

Symbol
Represents a symbol of a signature.

Classes in orbital.logic.sign used by orbital.logic.sign

Expression
An interface for representations of expressions.

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

ExpressionBuilder
Defines a general interface for constructing complex expressions.

ParseException
An exception thrown if an expression could not be parsed as desired.

Signature
A signature Σ is the set of names of all entities in a certain context.

SignatureBase
A basic signature implementation.

Symbol
Represents a symbol of a signature.

Classes in orbital.logic.sign used by orbital.logic.sign.type

Expression
An interface for representations of expressions.

Classes in orbital.logic.sign used by orbital.moon.logic

Expression
An interface for representations of expressions.

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

ExpressionBuilder
Defines a general interface for constructing complex expressions.

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

ParseException
An exception thrown if an expression could not be parsed as desired.

Signature
A signature Σ is the set of names of all entities in a certain context.

Symbol
Represents a symbol of a signature.

SymbolBase
Default representation of a syntactic symbol in a signature.

Classes in orbital.logic.sign used by orbital.moon.logic.resolution

Signature
A signature Σ is the set of names of all entities in a certain context.