| Interface | Description |
|---|---|
| PLVisitor<A,R> |
Propositional Logic Visitor: A Visitor Pattern/ for
traversing the abstract syntax tree structural representation of
propositional logic used in this library.
|
| Class | Description |
|---|---|
| AbstractPLVisitor<A> |
Abstract implementation of the PLVisitor interface that provides default
behavior for each of the methods.
|
| PLLexer |
A concrete implementation of a lexical analyzer for the propositional language.
|
| PLParser |
Artificial Intelligence A Modern Approach (3rd Edition): Figure 7.7, page
244.
Implementation of a propositional logic parser based on: |