Searched defs:form_ctx (Results 1 – 3 of 3) sorted by relevance
399 void static_features::process(expr * e, bool form_ctx, bool or_and_ctx, bool ite_ctx, unsigned stac… in process()
109 bool form_ctx = fr.m_form_ctx; in operator ()() local