|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
ImpliesRule | |
PropositionalLogicLexerTokenTypes | |
Tautology | |
TruthValue | |
XorRule |
Class Summary | |
And | |
False | |
Implies | |
Literal | |
LogicBinaryOperator | |
LogicOperation | |
Not | |
Or | |
PropositionalLogicLexer | Lexer for a propositional logic string. |
PropositionalLogicParser | Parser for a lexed propositional logic string. |
PropositionalLogicTreeWalker | Evaluates a propositional logic tree. |
True | |
Xor |
Propositional Logic Expression package. This is an implementation of the generic Expression framework using Propositional Logic. It also contains operations specific to logic that are not generic enough to be part of the generic expression package.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |