Searched refs:disable_symmetry_breaking (Results 1 – 2 of 2) sorted by relevance
441 static inline void disable_symmetry_breaking(context_t *ctx) { in disable_symmetry_breaking() function
8077 disable_symmetry_breaking(ctx); in yices_context_disable_option()