Package net.sf.tweety.logics.pl.syntax
Class PlBeliefSet.PlFormulaHashCodeComparator
- java.lang.Object
-
- net.sf.tweety.logics.pl.syntax.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()
-
-
Constructor Summary
Constructors Constructor Description PlFormulaHashCodeComparator()
-