Searched refs:safra_node_t (Results 1 – 2 of 2) sorted by relevance
87 using safra_node_t = std::pair<state_t, std::vector<int>>; typedef in spot::safra_state461 operator() (const safra_state::safra_node_t& lhs, in operator ()()462 const safra_state::safra_node_t& rhs) const in operator ()()469 std::vector<safra_state::safra_node_t>472 std::vector<safra_state::safra_node_t> res; in sorted_nodes()