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