Searched refs:getBvInverter (Results 1 – 3 of 3) sorted by path
63 d_inverter = qe->getBvInverter(); in BvInstantiator()
301 quantifiers::BvInverter* QuantifiersEngine::getBvInverter() const in getBvInverter() function in QuantifiersEngine
117 quantifiers::BvInverter* getBvInverter() const;