Searched refs:solveExtractOverlapApplies (Results 1 – 4 of 4) sorted by relevance
563 virtual bool solveExtractOverlapApplies(const Expr& eq) = 0;
652 bool solveExtractOverlapApplies(const Expr& eq);
6691 bool BitvectorTheoremProducer::solveExtractOverlapApplies(const Expr& eq) in solveExtractOverlapApplies() function in BitvectorTheoremProducer6718 …CHECK_SOUND(solveExtractOverlapApplies(eq), "solveExtractOvelap does not apply to " + eq.toString(… in solveExtractOverlap()
2833 if (d_rules->solveExtractOverlapApplies(e)) in solve()