C# (CSharp) OBDD.MakeIfThenElse Beispiele

Beispiel #1

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

Beispiel #2

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

Beispiel #3

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