Robust/src/Analysis/SSJava/BinaryRelation.java

   1 package Analysis.SSJava;
   2
   3 public class BinaryRelation{
   4     //suchthat lower<higher
   5     VarID higher;
   6     VarID lower;
   7
   8     public BinaryRelation(VarID h, VarID l){
   9         higher = h;
  10         lower = l;
  11     }
  12
  13     public String toString(){
  14         return lower.toString()+ "<" + higher.toString();
  15     }
  16 }