20 #ifndef SPOT_TA_TGTAPRODUCT_HH
21 # define SPOT_TA_TGTAPRODUCT_HH
23 #include "tgba/tgba.hh"
24 #include "tgba/tgbaproduct.hh"
25 #include "misc/fixpool.hh"
26 #include "kripke/kripke.hh"
39 get_init_state()
const;
42 succ_iter(
const state* local_state,
const state* global_state = 0,
43 const tgba* global_automaton = 0)
const;
66 current_state()
const;
68 current_condition()
const;
71 current_acceptance_conditions()
const;
94 bdd current_condition_;
95 bdd current_acceptance_conditions_;
96 bdd kripke_source_condition;
97 state* kripke_current_dest_state;
102 #endif // SPOT_TA_TGTAPRODUCT_HH