23 #ifndef SPOT_TGBA_TGBABDDCONCRETEFACTORY_HH
24 # define SPOT_TGBA_TGBABDDCONCRETEFACTORY_HH
26 #include "misc/hash.hh"
28 #include "tgbabddfactory.hh"
55 int create_anonymous_state();
78 void declare_acceptance_condition(bdd b,
const ltl::formula* a);
84 void constrain_relation(bdd new_rel);
102 #endif // SPOT_TGBA_TGBABDDCONCRETEFACTORY_HH
Helper class to build a spot::tgba_bdd_concrete object.
Definition: tgbabddconcretefactory.hh:33
Core data for a TGBA encoded using BDDs.
Definition: tgbabddcoredata.hh:32
Map BDD variables to formulae.
Definition: bdddict.hh:57
Abstract class for spot::tgba_bdd_concrete factories.
Definition: tgbabddfactory.hh:34