Searched refs:getLabelChildren (Results 1 – 2 of 2) sorted by relevance
285 …void getLabelChildren( Node atom, Node lbl, std::vector< Node >& children, std::vector< Node >& la…
379 getLabelChildren( s_atom, s_lbl, children, labels ); in check()1481 void TheorySep::getLabelChildren( Node s_atom, Node lbl, std::vector< Node >& children, std::vector… in getLabelChildren() function in CVC4::theory::sep::TheorySep