| Class | Description |
|---|---|
| ContensionExample |
Example code illustrating the contension inconsistency measure.
|
| DfInconsistencyMeasureExample |
Example code illustrating the Df inconsistency measure.
|
| DSumMeasureExample | |
| FuzzyMeasureExample | |
| ImPostulateEvaluationExample |
Example code illustrating automatic postulate evaluation of
inconsistency measures.
|
| LingelingExample | |
| MaMeasureExample | |
| McscInconsistencyMeasureExample | |
| MinimalInconsistentSubsetExample | |
| MusExample | |
| PmMeasureExample | |
| StreamInconsistencyEvaluationExample | |
| StreamInconsistencyEvaluationExample2 | |
| SyntacticEnumeratingPlBeliefSetSamplerExample | |
| SyntacticRandomPlBeliefSetSamplerExample |