Searched refs:substituteInstConstants (Results 1 – 3 of 3) sorted by relevance
158 Node substituteInstConstants(Node n, Node q, std::vector<Node>& terms);
382 Node gn = d_qe->getTermUtil()->substituteInstConstants( in getModelBasis()
260 Node TermUtil::substituteInstConstants(Node n, Node q, std::vector<Node>& terms) in substituteInstConstants() function in CVC4::theory::quantifiers::TermUtil