int main(int ac,char**av)
{
BDD a,b,c;
bdd_init(N_NODES, CACHESIZE);
bdd_setvarnum(2);
a = bdd_ithvar(0);
b = bdd_ithvar(1);
c = bdd_xor(a, b);
bdd_fnprintdot("xor.dot", c);
bdd_done();
}
int main(int ac,char**av)
{
BDD a,b,c;
bdd_init(N_NODES, CACHESIZE);
bdd_setvarnum(2);
a = bdd_ithvar(0);
b = bdd_ithvar(1);
c = bdd_apply(a, b, bddop_less);
bdd_fnprintdot("less.dot", c);
bdd_done();
}
/* ML type: string -> bdd -> unit */
EXTERNML value mlbdd_bdd_fnprintdot(value filename, value r) /* ML */
{
bdd_fnprintdot(String_val(filename), Bdd_val(r));
return Val_unit;
}