Package net.sf.tweety.lp.asp.analysis

Class Summary

Class	Description
AspInconsistencyMeasureTest	Tests the functionality of PmInconsistencyMeasure
ClingoTest	Test class for Clingo.
DLVTest	Test class for DLV.
PmInconsistencyMeasure	This class implements the inconsistency measure $I_\pm$ from [Ulbricht, Thimm, Brewka.
SdInconsistencyMeasure	This class implements the inconsistency measure $I_sd$ from [Ulbricht, Thimm, Brewka.