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)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  - Methods inherited from interface java.util.Comparator
    equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

- Constructor Detail
  - SimpleMUSComparator
```
SimpleMUSComparator()
```
- Method Detail
  - compare
```
public int compare(java.lang.Object mus1,
                   java.lang.Object mus2)
```
    Specified by:
    
    compare in interface java.util.Comparator<java.lang.Object>