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.