Searched defs:to_nca (Results 1 – 4 of 4) sorted by relevance
339 to_nca(const_twa_graph_ptr aut, bool named_states) in to_nca() function
2287 to_nca = _impl.to_nca variable