Searched defs:maxEffort (Results 1 – 2 of 2) sorted by relevance
2366 Theorem TheoryBitvector::simplifyPendingEq(const Theorem& thm, int maxEffort) in simplifyPendingEq()
5692 Theorem BitvectorTheoremProducer::canonBVEQ( const Expr& e, int maxEffort ) in canonBVEQ()