20 #ifndef SPOT_TA_TGTAEXPLICIT_HH
21 # define SPOT_TA_TGTAEXPLICIT_HH
23 #include "misc/hash.hh"
25 #include "tgba/tgba.hh"
29 #include "misc/bddlt.hh"
30 #include "taexplicit.hh"
43 bool own_tgba =
false);
50 0,
const tgba* global_automaton = 0)
const;
58 virtual bdd all_acceptance_conditions()
const;
59 virtual bdd neg_acceptance_conditions()
const;
61 virtual std::string format_state(
const spot::state* s)
const;
64 succ_iter_by_changeset(
const spot::state* s, bdd change_set)
const;
67 virtual bdd compute_support_variables(
const spot::state* state)
const;
74 #endif // SPOT_TA_TGTAEXPLICIT_HH