Beispiel #1
0
 public static int PrintBDDTree(CUDDNode node)
 {
     return(PlatformInvoke.Cudd_PrintBDDTree(manager, node.Ptr, "BDDTree.dot"));
 }
Beispiel #2
0
 public static int PrintBDDTree(CUDDNode node, string filename = "BDDTree.dot")
 {
     return(PlatformInvoke.Cudd_PrintBDDTree(manager, node.Ptr, filename));
 }