Searched refs:fun_solver_assert_var_distinct (Results 1 – 2 of 2) sorted by relevance
474 extern void fun_solver_assert_var_distinct(fun_solver_t *solver, uint32_t n, thvar_t *a, composite_…
2270 void fun_solver_assert_var_distinct(fun_solver_t *solver, uint32_t n, thvar_t *a, composite_t *hint… in fun_solver_assert_var_distinct() function3583 (assert_distinct_fun_t) fun_solver_assert_var_distinct,