Searched defs:collectExtracts (Results 1 – 2 of 2) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/cegqi/ | ||
H A D | ceg_bv_instantiator.cpp | 731 void BvInstantiatorPreprocess::collectExtracts( in collectExtracts() function in CVC4::theory::quantifiers::BvInstantiatorPreprocess |
/dports/math/cvc4/CVC4-1.7/src/theory/bv/ | ||
H A D | bv_subtheory_algebraic.cpp | 946 void ExtractSkolemizer::collectExtracts(TNode node, TNodeSet& seen) { in collectExtracts() function in CVC4::theory::bv::ExtractSkolemizer |