Searched refs:bitwiseConcat (Results 1 – 4 of 4) sorted by relevance
395 virtual Theorem bitwiseConcat(const Expr& e, int kind) = 0;
434 Theorem bitwiseConcat(const Expr& e, int kind);
1382 res = transitivityRule(res, d_rules->bitwiseConcat(ee, kind)); in rewriteBV()
2922 Theorem BitvectorTheoremProducer::bitwiseConcat(const Expr& e, int kind) in bitwiseConcat() function in BitvectorTheoremProducer