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.