Beispiel #1
0
 public BinaryDecisionDiagram orTo(BinaryDecisionDiagram binaryDecisionDiagram) {
   this.id = bdd.orTo(id, binaryDecisionDiagram.id);
   return this;
 }