20 #ifndef SPOT_TGBA_TGBAUNION_HH
21 # define SPOT_TGBA_TGBAUNION_HH
67 virtual int compare(
const state* other)
const;
68 virtual size_t hash()
const;
69 virtual state_union*
clone()
const;
85 bdd right_missing, bdd left_var, bdd right_var);
96 bdd current_condition()
const;
97 bdd current_acceptance_conditions()
const;
121 virtual state* get_init_state()
const;
124 succ_iter(
const state* local_state,
125 const state* global_state = 0,
126 const tgba* global_automaton = 0)
const;
130 virtual std::string format_state(
const state*
state)
const;
132 virtual state* project_state(
const state* s,
const tgba* t)
const;
134 virtual bdd all_acceptance_conditions()
const;
135 virtual bdd neg_acceptance_conditions()
const;
138 virtual bdd compute_support_conditions(
const state* state)
const;
139 virtual bdd compute_support_variables(
const state* state)
const;
145 bdd left_acc_missing_;
146 bdd right_acc_missing_;
147 bdd left_acc_complement_;
148 bdd right_acc_complement_;
149 bdd left_var_missing_;
150 bdd right_var_missing_;
151 bdd all_acceptance_conditions_;
152 bdd neg_acceptance_conditions_;
161 #endif // SPOT_TGBA_TGBAUNION_HH