Home
last modified time | relevance | path

Searched refs:substituteInstConstants (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dterm_util.h158 Node substituteInstConstants(Node n, Node q, std::vector<Node>& terms);
H A Dfirst_order_model.cpp382 Node gn = d_qe->getTermUtil()->substituteInstConstants( in getModelBasis()
H A Dterm_util.cpp260 Node TermUtil::substituteInstConstants(Node n, Node q, std::vector<Node>& terms) in substituteInstConstants() function in CVC4::theory::quantifiers::TermUtil