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