Searched refs:solve_not_equal (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/skb/
H A Dshared_lib_dict.h29 extern void solve_not_equal();
151 {.name="solve_not_equal",.f=solve_not_equal},
/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c1719 solve_not_equal(bounds *a, var_info *vi, bounds *c, int *solved) function
2950 result = solve_not_equal(&a, &vi, &c, &solved);
2982 result = solve_not_equal(&a, &vi, &c, &solved);
3037 result = solve_not_equal(&a, &vi, &con->c, &solved);
4254 return solve_not_equal(&a.b, &vi, &res, solved);

Completed in 81 milliseconds