Class ELPLexicographicalComparator

All Implemented Interfaces:

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.
Sebastian Homann
  • Constructor Details

    • ELPLexicographicalComparator

      public ELPLexicographicalComparator()
  • Method Details