Searched refs:fun_solver_var_is_constant (Results 1 – 1 of 1) sorted by relevance
2299 bool fun_solver_var_is_constant(fun_solver_t *solver, thvar_t x) { in fun_solver_var_is_constant() function3585 (is_constant_fun_t) fun_solver_var_is_constant,