ELPLexicographicalComparator (Tweety (ASP Belief Dynamics) 1.17 API)

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

All Implemented Interfaces:

Comparator<net.sf.tweety.lp.asp.syntax.Program>
```
public class ELPLexicographicalComparator
extends Object
implements Comparator<net.sf.tweety.lp.asp.syntax.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(net.sf.tweety.lp.asp.syntax.Program arg0, net.sf.tweety.lp.asp.syntax.Program arg1)
  - 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
- ELPLexicographicalComparator
```
public ELPLexicographicalComparator()
```

Method Detail

compare

public int compare(net.sf.tweety.lp.asp.syntax.Program arg0,
                   net.sf.tweety.lp.asp.syntax.Program arg1)

Specified by:: compare in interface Comparator<net.sf.tweety.lp.asp.syntax.Program>