Robust/src/Analysis/SSJava/RelationSet.java

   1 package Analysis.SSJava;
   2
   3 import java.util.Set;
   4 import java.util.HashSet;
   5 //contains all binary relations
   6 public class RelationSet{
   7     Set<BinaryRelation> relations;
   8
   9     public RelationSet(){
  10         relations = new HashSet<BinaryRelation>();
  11     }
  12
  13     public void addRelation(BinaryRelation br){
  14         if(!relations.contains(br))
  15             relations.add(br);
  16     }
  17
  18     public String toString(){
  19         String toReturn = "";
  20         for(BinaryRelation br: relations)
  21             toReturn += br.toString() + "\n";
  22         return toReturn;
  23     }
  24 }