Searched defs:ite_ctx (Results 1 – 2 of 2) sorted by relevance
399 void static_features::process(expr * e, bool form_ctx, bool or_and_ctx, bool ite_ctx, unsigned stac… in process()