net.sf.tweety.lp.asp.beliefdynamics.baserevision

Class ELPLexicographicalComparator

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 and Description
ELPLexicographicalComparator()

Method Summary

Modifier and Type	Method and 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

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, 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>