Searched refs:bitExtractBVPlus (Results 1 – 3 of 3) sorted by relevance
194 virtual Theorem bitExtractBVPlus(const std::vector<Theorem>& t1,
247 Theorem bitExtractBVPlus(const std::vector<Theorem>& t1,
1256 bitExtractBVPlus(const std::vector<Theorem>& t1BitExtractThms, in bitExtractBVPlus() function in BitvectorTheoremProducer