Class ImPostulate.SimpleMUSComparator
- java.lang.Object
-
- net.sf.tweety.logics.pl.postulates.ImPostulate.SimpleMUSComparator
-
- All Implemented Interfaces:
java.util.Comparator<java.lang.Object>
- Enclosing class:
- ImPostulate
class ImPostulate.SimpleMUSComparator extends java.lang.Object implements java.util.Comparator<java.lang.Object>
Comparator for sorting MUS by comparing hash codes.
-
-
Constructor Summary
Constructors Constructor Description SimpleMUSComparator()
-
Method Summary
Modifier and Type Method Description int
compare(java.lang.Object mus1, java.lang.Object mus2)
-