Searched refs:orig_clauses_ (Results 1 – 2 of 2) sorted by relevance
138 std::vector<unsigned>* orig_clauses_; // Associated Rabin clauses. member in spot::__anone7dfedf20111::nsa_to_nca_converter153 clause = (*orig_clauses_)[state]; in save_inf_nca_st()216 orig_clauses_ = ref_prod->get_named_prop<std::vector<unsigned>> in nsa_to_nca_converter()
138 std::vector<unsigned>* orig_clauses_; // Associated Rabin clauses. member in spot::__anonf458a0080111::nsa_to_nca_converter153 clause = (*orig_clauses_)[state]; in save_inf_nca_st()216 orig_clauses_ = ref_prod->get_named_prop<std::vector<unsigned>> in nsa_to_nca_converter()