Searched refs:enable_symmetry_breaking (Results 1 – 4 of 4) sorted by relevance
437 static inline void enable_symmetry_breaking(context_t *ctx) { in enable_symmetry_breaking() function
1104 enable_symmetry_breaking(&context); in process_benchmark()
1971 enable_symmetry_breaking(&context); in process_benchmark()
8020 enable_symmetry_breaking(ctx); in yices_context_enable_option()8183 enable_symmetry_breaking(ctx); in context_set_default_options()