class |
CompleteReasoner<T extends Formula> |
This reasoner for ABA theories performs inference on the complete extensions.
|
class |
FlatAbaReasoner<T extends Formula> |
This class models a reasoner over ABA formulae.
|
class |
IdealReasoner<T extends Formula> |
This reasoner for ABA theories performs inference on the ideal extension.
|
class |
PreferredReasoner<T extends Formula> |
This reasoner for ABA theories performs inference on the preferred extensions.
|
class |
StableReasoner<T extends Formula> |
This reasoner for ABA theories performs inference on the stable extensions.
|
class |
WellFoundedReasoner<T extends Formula> |
This reasoner for ABA theories performs inference on the ideal extension.
|