Searched defs:initializeChecker (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ | ||
| H A D | expr_miner.cpp | 70 void ExprMiner::initializeChecker(std::unique_ptr<SmtEngine>& checker, in initializeChecker() function in CVC4::theory::quantifiers::ExprMiner |
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ | ||
| H A D | sygus_repair_const.cpp | 101 void SygusRepairConst::initializeChecker(std::unique_ptr<SmtEngine>& checker, in initializeChecker() function in CVC4::theory::quantifiers::SygusRepairConst |