23 #ifndef SPOT_TGBA_TGBAPRODUCT_HH
24 # define SPOT_TGBA_TGBAPRODUCT_HH
27 #include "misc/fixpool.hh"
47 : left_(left), right_(right), count_(1), pool_(pool)
65 virtual int compare(
const state* other)
const;
66 virtual size_t hash()
const;
67 virtual state_product*
clone()
const;
72 mutable unsigned count_;
73 fixed_size_pool* pool_;
75 virtual ~state_product();
76 state_product(
const state_product& o);
92 virtual state* get_init_state()
const;
95 succ_iter(
const state* local_state,
96 const state* global_state = 0,
97 const tgba* global_automaton = 0)
const;
101 virtual std::string format_state(
const state*
state)
const;
106 virtual state* project_state(
const state* s,
const tgba* t)
const;
108 virtual bdd all_acceptance_conditions()
const;
109 virtual bdd neg_acceptance_conditions()
const;
112 virtual bdd compute_support_conditions(
const state* state)
const;
113 virtual bdd compute_support_variables(
const state* state)
const;
120 bdd left_acc_complement_;
121 bdd right_acc_complement_;
122 bdd all_acceptance_conditions_;
123 bdd neg_acceptance_conditions_;
124 bddPair* right_common_acc_;
138 const state* left_init,
const state* right_init);
139 virtual state* get_init_state()
const;
141 const state* left_init_;
142 const state* right_init_;
147 #endif // SPOT_TGBA_TGBAPRODUCT_HH