Ejemplo n.º 1
0
 public boolean isZero() {
   return id == bdd.getZero();
 }
Ejemplo n.º 2
0
 public static BinaryDecisionDiagram nothing(BDD bdd) {
   return new BinaryDecisionDiagram(bdd, bdd.getZero());
 }