Package org.tweetyproject.lp.asp.beliefdynamics.baserevision

Class ELPLexicographicalComparator

java.lang.Object

org.tweetyproject.lp.asp.beliefdynamics.baserevision.ELPLexicographicalComparator

All Implemented Interfaces:

Comparator<Program>

public class ELPLexicographicalComparator
extends Object
implements 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 Details

ELPLexicographicalComparator

public ELPLexicographicalComparator()

Method Details

compare

public int compare(Program arg0,
 Program arg1)

Specified by:

compare in interface Comparator<Program>