1 package Analysis.SSJava;
4 import java.util.HashSet;
5 //contains all binary relations
6 public class RelationSet{
7 Set<BinaryRelation> relations;
10 relations = new HashSet<BinaryRelation>();
13 public void addRelation(BinaryRelation br){
14 if(!relations.contains(br))
18 public String toString(){
20 for(BinaryRelation br: relations)
21 toReturn += br.toString() + "\n";