ca.mcgill.lmp.finite
Class Bisim.ProbabilityComparator
java.lang.Object
ca.mcgill.lmp.finite.Bisim.ProbabilityComparator
- All Implemented Interfaces:
- java.util.Comparator
- Enclosing class:
- Bisim
- class Bisim.ProbabilityComparator
- extends java.lang.Object
- implements java.util.Comparator
ProbabilityComparator is used by the split() method to sort states using
Collections.sort(list, comparator). It compares 2 State's s_1 and s_2 by
comparing the values P_label(s_1, target) and P_label(s_2, target)
Method Summary |
int |
compare(java.lang.Object object1,
java.lang.Object object2)
|
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 |
label
private Label label
target
private java.util.Set target
Bisim.ProbabilityComparator
public Bisim.ProbabilityComparator(Label label,
java.util.Set target)
compare
public int compare(java.lang.Object object1,
java.lang.Object object2)
- Specified by:
compare
in interface java.util.Comparator