Searched refs:sep_children (Results 1 – 4 of 4) sorted by relevance
143 std::vector<Node> sep_children; in eliminateConcat() local156 sep_children.push_back(c[0]); in eliminateConcat()181 Assert(!onlySigmasAndConsts || !sep_children.empty()); in eliminateConcat()182 if (onlySigmasAndConsts && !sep_children.empty()) in eliminateConcat()196 for (unsigned i = 0, size = sep_children.size(); i < size; i++) in eliminateConcat()205 Node sc = sep_children[i]; in eliminateConcat()250 Assert(!sep_children.empty()); in eliminateConcat()255 Node sc = sep_children.back(); in eliminateConcat()283 Node fit = nm->mkNode(gap_exact[sep_children.size() - 1] ? EQUAL : LEQ, in eliminateConcat()
2288 WidgetList sep_children; in SetValues() local2292 sep_children = (WidgetList) XtMalloc((num_children/3) * sizeof(Widget)); in SetValues()2298 sep_children[num_separators] = separator; in SetValues()2305 XtManageChildren((WidgetList) sep_children, num_separators); in SetValues()2307 XtUnmanageChildren((WidgetList) sep_children, num_separators); in SetValues()2310 XtFree((char *)sep_children); in SetValues()
2681 WidgetList sep_children; in SetValues() local2685 sep_children = (WidgetList) XtMalloc(num_panes * sizeof(Widget)); in SetValues()2692 sep_children[num_separators] = PaneInfo(*childP)->separator; in SetValues()2696 XtManageChildren((WidgetList) sep_children, num_separators); in SetValues()2697 XtFree((char *)sep_children); in SetValues()
220 std::vector< Node > sep_children; in postProcessModel() local267 sep_children.push_back( NodeManager::currentNM()->mkNode( kind::SEP_PTO, pto_children ) ); in postProcessModel()275 if( sep_children.empty() ){ in postProcessModel()279 }else if( sep_children.size()==1 ){ in postProcessModel()280 m_heap = sep_children[0]; in postProcessModel()282 m_heap = NodeManager::currentNM()->mkNode( kind::SEP_STAR, sep_children ); in postProcessModel()