eclipseclp/icparc_solvers/ic.c

1656     ** solved is a boolean which will be set to zero if the constraint is
1660 solve_equal(bounds *a, var_info *vi, bounds *c, int *solved)
1673 	    *solved = 1;
1690 		*solved = (c->l==c->u && computed_c.l==computed_c.u);
1699 		*solved = 0;
1705 	    *solved = 1;
1719 solve_not_equal(bounds *a, var_info *vi, bounds *c, int *solved)
1724 	*solved = 0;
1738 		*solved = 1;
1741 		*solved = 1;
1748 		*solved = 1;
2206 evaluate_reified(con_info *con, prop_info *prop, int *solved)
2228 	    *solved = 1;
2239 	    *solved = 1;
2243 	*solved = 0;
2307 	int	result, solved;
2342 		result = solve_equal(&a, &vi, &con->c, &solved);
2344 		if (solved) {
2564 	int	pseudo_op, idx, result, solved;
2585 	    result = solve_equal(&a, &vi, &con->c, &solved);
2587 	    if (solved) {
2898 	int	idx, result, solved;
2950 		    result = solve_not_equal(&a, &vi, &c, &solved);
2952 		    if (solved) {
2982 		    result = solve_not_equal(&a, &vi, &c, &solved);
2984 		    if (solved) {
3037 	    result = solve_not_equal(&a, &vi, &con->c, &solved);
3039 	    if (solved) {
3453 	int	result, short_cut, solved;
3483 	    result = evaluate_reified(&con, &prop, &solved);
3485 	    if (solved) {
4125 setup_0v_con(con_info *con, prop_info *prop, int *solved)
4127 	*solved = 1;
4175 	*solved = 0;
4182 setup_1v_con(pword *plin, con_info *con, prop_info *prop, int *solved)
4194 	*solved = 0;
4252 		    return solve_equal(&a.b, &vi, &res, solved);
4254 		    return solve_not_equal(&a.b, &vi, &res, solved);
4276 	    *solved = 1;
4295 	int	    status, delayed, short_cut, solved;
4355 		result = evaluate_reified(&con, &prop, &solved);
4357 		if (solved) {
4401 	    result = setup_0v_con(&con, &prop, &solved);
4403 	    if (solved) {
4414 	    result = setup_1v_con(&lin, &con, &prop, &solved);
4416 	    if (solved) {