Beispiel #1
0
 public static BDDNode Not(this BDDManager manager, BDDNode node)
 {
     return(manager.Negate(node));
 }