Searched defs:internalize_distinct (Results 1 – 2 of 2) sorted by relevance
461 void context::internalize_distinct(app * n, bool gate_ctx) { in internalize_distinct() function in smt::context
460 void context::internalize_distinct(app * n, bool gate_ctx) { in internalize_distinct() function in smt::context