Package javaDungAF.tests

Contains classes for testing the classes in javaDungAF - DungAF and SetComparison.

See:
          Description

Class Summary
TestBasicFunctionality A class to test the basic functionality of DungAF.
TestDefenceSets A class to test getDefenceSetsAround(String).
TestSetComparison A class to test SetComparison's removeNonMinimalMembersOf(Collection<T extends Collection>) and removeNonMaximalMembersOf(Collection<T extends Collection>) methods.
TestWithAspartix A class to test the semantics-related functionality of DungAF, using ASPARTIX (v.0.9).
 

Package javaDungAF.tests Description

Contains classes for testing the classes in javaDungAF - DungAF and SetComparison.