| Interface | Description |
|---|---|
| Categorizer |
Classes implementing this interface represent categorizer in the sense
of Definition 8.10 in
Philippe Besnard and Anthony Hunter. |
| Class | Description |
|---|---|
| ClassicalCategorizer |
This class implements a simple categorizer that does
an bottom-up marking of the tree; leafs are marked
undefeated and an inner node is marked defeated
if at least one child is marked undefeated and
defeated otherwise.
The method "categorize" returns "1" if the root node is undefeated and "0" if it is defeated. |
| HCategorizer |
This class implements the h-categorizer from
Philippe Besnard and Anthony Hunter. |