20 #ifndef SPOT_MISC_BDDOP_HH
21 # define SPOT_MISC_BDDOP_HH
39 #endif // SPOT_MISC_BDDOP_HH
SPOT_API bdd compute_all_acceptance_conditions(bdd neg_acceptance_conditions)
Compute all acceptance conditions from all neg acceptance conditions.
SPOT_API bdd compute_neg_acceptance_conditions(bdd all_acceptance_conditions)
Compute neg acceptance conditions from all acceptance conditions.