コード例 #1
0
 public static BDDNode MakeNot(this OBDD obdd, BDDNode node)
 {
     return(obdd.MakeIfThenElse(node, BDDNode.False, BDDNode.True));
 }
コード例 #2
0
 public static BDDNode MakeAnd(this OBDD obdd, BDDNode a, BDDNode b)
 {
     return(obdd.MakeIfThenElse(a, b, BDDNode.False));
 }
コード例 #3
0
 public static BDDNode MakeOr(this OBDD obdd, BDDNode a, BDDNode b)
 {
     return(obdd.MakeIfThenElse(a, BDDNode.True, b));
 }