Searched defs:defrag_states (Results 1 – 6 of 6) sorted by relevance
1352 void defrag_states(const std::vector<unsigned>& newst, unsigned used_states) in defrag_states() function in spot::digraph1421 void defrag_states(std::vector<unsigned>&& newst, unsigned used_states) in defrag_states() function in spot::digraph
749 void defrag_states(std::vector<unsigned>&& newst, in defrag_states() function in spot::twa_graph
796 void twa_graph::defrag_states(std::vector<unsigned>& newst, in defrag_states() function in spot::twa_graph