Package | Description |
---|---|
jtabwbx.prop.btformula |
A basic implementation of propositional formulas as binary trees.
|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Class and Description |
---|
BTFormula
A simple implementation of a formula as a binary tree.
|
BTFormulaProposition
Implementation of a propositional variable (an atomic formula).
|
Class and Description |
---|
BTFormula
A simple implementation of a formula as a binary tree.
|