Searched refs:tgta_product (Results 1 – 4 of 4) sorted by relevance
32 class SPOT_API tgta_product : public twa_product class35 tgta_product(const const_kripke_ptr& left,47 return std::make_shared<tgta_product>(left, right); in product()
47 tgta_product::tgta_product(const const_kripke_ptr& left, in tgta_product() function in spot::tgta_product54 tgta_product::get_init_state() const in get_init_state()63 tgta_product::succ_iter(const state* state) const in succ_iter()