|
Orbital library | |||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
Orbital library 1.3.0: 11 Apr 2009 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |