Searched refs:tpart_out (Results 1 – 1 of 1) sorted by relevance
1866 std::vector< std::vector< Node > > tpart_out; in checkCycles() local1872 separateBisimilar( part, tpart_out, exp, cn, dni, 0, true ); in checkCycles()1873 Assert( tpart_out.size()==1 && tpart_out[0].size()==2 ); in checkCycles()