| Interface | Description |
|---|---|
| Accumulator |
Classes implementing this interface represent accumulators in the sense
of Definition 8.11 in
Philippe Besnard and Anthony Hunter. |
| Class | Description |
|---|---|
| SimpleAccumulator |
This implementation of an accumulator simply sums
up the categorizations of the argument trees.
|