spot
1.1.3
|
#include "bdd.h"
Go to the source code of this file.
Namespaces | |
spot | |
Functions | |
bdd | spot::compute_all_acceptance_conditions (bdd neg_acceptance_conditions) |
Compute all acceptance conditions from all neg acceptance conditions. More... | |
bdd | spot::compute_neg_acceptance_conditions (bdd all_acceptance_conditions) |
Compute neg acceptance conditions from all acceptance conditions. More... | |