Searched refs:pto_children (Results 1 – 1 of 1) sorted by relevance
235 std::vector< Node > pto_children; in postProcessModel() local238 pto_children.push_back( l ); in postProcessModel()245 pto_children.push_back( *te_range ); in postProcessModel()258 pto_children.push_back( cv ); in postProcessModel()264 pto_children.push_back( vpto ); in postProcessModel()267 sep_children.push_back( NodeManager::currentNM()->mkNode( kind::SEP_PTO, pto_children ) ); in postProcessModel()