| Interface | Description |
|---|---|
| Formula |
A special kind of expression which maintains a normal form representation.
|
| Formula.ArithmeticEquation | |
| Formula.Equation | |
| Proof | |
| Proof.Delta |
A proof delta represents a set of truths which have been introduced
during one or more proof steps.
|
| Proof.Delta.Set |
A set of truths in a delta, either representing those added or those
removed.
|
| Proof.LinearRule | |
| Proof.NonLinearRule | |
| Proof.Rule |
A proof rule represents the transformation of a given proof according to
some logical inference.
|
| Proof.State |
A proof branch considered of one or more states which were derived from
an existing state using a given rule.
|
| Class | Description |
|---|---|
| Formula.ArithmeticEquality | |
| Formula.Conjunct | |
| Formula.Disjunct | |
| Formula.Equality | |
| Formula.Inequality | |
| Formula.Invoke | |
| Formula.Is | |
| Formula.Quantifier | |
| Formula.Truth |
Copyright © 2017. All rights reserved.