public void printSet() {
   bdd.printSet(id);
 }