void trans(Node *p)
{
if (!p || tl_errs) return;
if (tl_verbose || tl_terse) {
fprintf(tl_out, "\t/* Normlzd: ");
dump(p);
fprintf(tl_out, " */\n");
}
if (tl_terse)
return;
// Buddy might have been initialized by a third-party library.
if (!bdd_isrunning()) {
bdd_init(100000, 10000);
// Disable the default GC handler.
bdd_gbc_hook(0);
}
mk_alternating(p);
if (!tl_hoaf || tl_hoaf > 1) {
mk_generalized();
if ((!tl_spot_out || tl_spot_out > 2) && (!tl_hoaf || tl_hoaf > 2))
mk_buchi();
}
releasenode(1, p);
bdd_done();
}
void trans(Node *p)
{
if (!p || tl_errs) return;
if (tl_verbose || tl_terse) {
fprintf(tl_out, "\t/* Normlzd: ");
dump(p);
fprintf(tl_out, " */\n");
}
if (tl_terse)
return;
mk_alternating(p);
mk_generalized();
mk_buchi();
}