- 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