reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
4214 sol->level = 0; 4235 sol_inc_level(sol); 4236 no_sol_in_strict(sol, tab, eq); 4239 sol_inc_level(sol); 4240 no_sol_in_strict(sol, tab, eq); 4243 sol->context->op->add_eq(sol->context, eq->el, 1, 1); 4243 sol->context->op->add_eq(sol->context, eq->el, 1, 1); 4250 if (sol->context->op->is_empty(sol->context)) 4250 if (sol->context->op->is_empty(sol->context)) 4256 saved = sol->context->op->save(sol->context); 4256 saved = sol->context->op->save(sol->context); 4258 find_solutions(sol, tab); 4260 if (sol_has_mergeable_solutions(sol)) 4261 sol->context->op->restore(sol->context, saved); 4261 sol->context->op->restore(sol->context, saved); 4263 sol->context->op->discard(saved); 4265 sol->level = 0; 4266 sol_pop(sol); 4271 sol->error = 1;