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.