Class ReverseOrder

java.lang.Object
com.ibm.wala.analysis.arraybounds.hypergraph.weight.ReverseOrder
All Implemented Interfaces:
Comparator<Weight>

public class ReverseOrder extends Object implements Comparator<Weight>
Defines a reverse Order on Weight: ... > 1 > 0 > -1 > ... > unlimited not_set is not comparable
Author:
Stephan Gocht <stephan@gobro.de>
  • Constructor Details

    • ReverseOrder

      public ReverseOrder()
  • Method Details