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