C# (CSharp) OBDD.MakeIfThenElse示例

示例#1

 public static BDDNode MakeNot(this OBDD obdd, BDDNode node)
 {
     return(obdd.MakeIfThenElse(node, BDDNode.False, BDDNode.True));
 }

示例#2

 public static BDDNode MakeAnd(this OBDD obdd, BDDNode a, BDDNode b)
 {
     return(obdd.MakeIfThenElse(a, b, BDDNode.False));
 }

示例#3

 public static BDDNode MakeOr(this OBDD obdd, BDDNode a, BDDNode b)
 {
     return(obdd.MakeIfThenElse(a, BDDNode.True, b));
 }