ELPLexicographicalComparator

java.lang.Object
- net.sf.tweety.lp.asp.beliefdynamics.baserevision.ELPLexicographicalComparator

All Implemented Interfaces:

java.util.Comparator<Program>
```
public class ELPLexicographicalComparator
extends java.lang.Object
implements java.util.Comparator<Program>
```
This comparator imposes a total order on the set of extended logic programs by use of the lexicographical order given as follows: A program A is less than a program B iff the smallest rule of A is smaller than the smallest rule of B or if both are equal if the second smallest rule of A is smaller than the second smallest rule of B and so on.

Author:

Sebastian Homann

- Constructor Summary
  
  Constructors
  Constructor Description
  
  ELPLexicographicalComparator()
- Method Summary
  
  Modifier and Type Method Description
  
  int compare(Program arg0, Program arg1)
  - Methods inherited from class java.lang.Object
    equals, 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
- ELPLexicographicalComparator
```
public ELPLexicographicalComparator()
```

Method Detail

compare

public int compare(Program arg0,
                   Program arg1)

Specified by:: compare in interface java.util.Comparator<Program>