Orbital library

Package orbital.moon.logic

Contains implementations of some logics as well as a logic and mathematical expression parser.

See:
          Description

Interface Summary
LogicParserConstants  
 

Class Summary
ClassicalLogic Implementation of modern but classical predicate logic (first-order logic).
ClassicalLogic.InferenceMechanism Specifies the inference mechanism applied for the inference relation.
ClassicalLogic.Utilities Formula transformation utilities.
FuzzyLogic Implementation of quantitative fuzzy logics.
FuzzyLogic.OperatorSet Specifies the type of fuzzy logic to use.
LogicParser It parses a concrete syntax (usually respecting the notation of symbols).
LogicParserTokenManager  
MathExpressionSyntax This class implements an expression syntax for mathematical expressions.
ModalLogic Implementation of modal logic with local or global consequence.
SimpleCharStream An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
Token Describes the input token stream.
UniqueSymbol A new unique symbol that is distinct from all others.
 

Exception Summary
ParseException This exception is thrown when parse errors are encountered.
 

Error Summary
TokenMgrError  
 

Package orbital.moon.logic Description

Contains implementations of some logics as well as a logic and mathematical expression parser.

Important classes are:


Orbital library
1.3.0: 11 Apr 2009

Copyright © 1996-2009 André Platzer
All Rights Reserved.