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.
|