ca.mcgill.lmp.finite
Class Bisim.ProbabilityComparator

java.lang.Object
  extended byca.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)


Field Summary
private  Label label
           
private  java.util.Set target
           
 
Constructor Summary
Bisim.ProbabilityComparator(Label label, java.util.Set 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
 

Field Detail

label

private Label label

target

private java.util.Set target
Constructor Detail

Bisim.ProbabilityComparator

public Bisim.ProbabilityComparator(Label label,
                                   java.util.Set target)
Method Detail

compare

public int compare(java.lang.Object object1,
                   java.lang.Object object2)
Specified by:
compare in interface java.util.Comparator