예제 #1
0
 public boolean isZero() {
   return id == bdd.getZero();
 }
예제 #2
0
 public static BinaryDecisionDiagram nothing(BDD bdd) {
   return new BinaryDecisionDiagram(bdd, bdd.getZero());
 }