Beispiel #1
0
 public BinaryDecisionDiagram existsTo(BinaryDecisionDiagram binaryDecisionDiagram) {
   int oldId = id;
   this.id = bdd.exists(id, binaryDecisionDiagram.id);
   discard(oldId);
   return this;
 }