| Class | Description |
|---|---|
| TestArguments |
Testing argument syntax.
|
| TestDeLP |
Testing the command line stuff for DeLP.
|
| TestDTree |
Testing dialectical trees.
|
| TestFormulaParsing |
Testing DeLP formula parsing.
|
| TestKBParsing |
Parsing DeLPs.
|
| TestQueries |
Testing some example KBs with various queries.
|
| TestRules |
Tests for rules: facts, strict and defeasible rules.
|
| Utilities |
Utility functions for test classes to access KBs etc.
|