Searched refs:BvIteMergeElseElse (Results 1 – 3 of 3) sorted by relevance
114 BvIteMergeElseElse, enumerator261 case BvIteMergeElseElse : out << "BvIteMergeElseElse"; return out;583 RewriteRule<BvIteMergeElseElse> rule138;
186 RewriteRule<BvIteMergeElseElse>>::apply(node); in RewriteITEBv()
230 inline bool RewriteRule<BvIteMergeElseElse>::applies(TNode node) in applies()238 inline Node RewriteRule<BvIteMergeElseElse>::apply(TNode node) in apply()