Package | Description |
---|---|
jtabwbx.prop.basic |
Basic classes and interfaces for propositional formulas.
|
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 |
---|
_PropositionalFormula
Interface describing propositional formulas on the set of connecetives
PropositionalConnective . |
FormulaType
The types of propositional formulas represented by formulas implemented by
Formula . |
PropositionalConnective
The basic propositional connectives.
|
Class and Description |
---|
_PropositionalFormula
Interface describing propositional formulas on the set of connecetives
PropositionalConnective . |
PropositionalConnective
The basic propositional connectives.
|
Class and Description |
---|
_PropositionalFormula
Interface describing propositional formulas on the set of connecetives
PropositionalConnective . |
FormulaType
The types of propositional formulas represented by formulas implemented by
Formula . |
PropositionalConnective
The basic propositional connectives.
|