prolog::bdd_print/2¶

bdd_print(+ BDDHandle, + File)*

Output bdd BDDHandle as a dot file to File.

Private-func:¶

1. prolog::bdd_print_2::bdd_print/2(int ARG1, int ARG2)():