Searched defs:getInstantiatedQuantifiedFormulas (Results 1 – 4 of 4) sorted by relevance
539 void Instantiate::getInstantiatedQuantifiedFormulas(std::vector<Node>& qs) in getInstantiatedQuantifiedFormulas() function in CVC4::theory::quantifiers::Instantiate
1152 void QuantifiersEngine::getInstantiatedQuantifiedFormulas( std::vector< Node >& qs ) { in getInstantiatedQuantifiedFormulas() function in QuantifiersEngine
1524 void TheoryEngine::getInstantiatedQuantifiedFormulas( std::vector< Node >& qs ) { in getInstantiatedQuantifiedFormulas() function in CVC4::TheoryEngine
4988 void SmtEngine::getInstantiatedQuantifiedFormulas( std::vector< Expr >& qs ) { in getInstantiatedQuantifiedFormulas() function in CVC4::SmtEngine