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.