Package net.sf.tweety.arg.delp
-
Class Summary 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.