Class PlBeliefSet.PlFormulaHashCodeComparator

  • All Implemented Interfaces:
    java.util.Comparator<PlFormula>
    Enclosing class:
    PlBeliefSet

    class PlBeliefSet.PlFormulaHashCodeComparator
    extends java.lang.Object
    implements java.util.Comparator<PlFormula>
    Comparator for sorting propositional formulas by comparing hash codes.
    See Also:
    PlBeliefSet.getCanonicalOrdering()
    • Method Summary

      Modifier and Type Method Description
      int compare​(PlFormula p1, PlFormula p2)  
      • 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

      • PlFormulaHashCodeComparator

        PlFormulaHashCodeComparator()
    • Method Detail