Orbital library

Uses of Package
orbital.moon.logic

Packages that use orbital.moon.logic
orbital.moon.logic Contains implementations of some logics as well as a logic and mathematical expression parser. 
 

Classes in orbital.moon.logic used by orbital.moon.logic
ClassicalLogic
          Implementation of modern but classical predicate logic (first-order logic).
ClassicalLogic.InferenceMechanism
          Specifies the inference mechanism applied for the inference relation.
FuzzyLogic.OperatorSet
          Specifies the type of fuzzy logic to use.
LogicParserConstants
           
LogicParserTokenManager
           
ParseException
          This exception is thrown when parse errors are encountered.
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.
 


Orbital library
1.3.0: 11 Apr 2009

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