reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
3892 if (!sol->context) 3894 saved = sol->context->op->save(sol->context); 3894 saved = sol->context->op->save(sol->context); 3900 sol->context->op->add_ineq(sol->context, ineq, 0, 1); 3900 sol->context->op->add_ineq(sol->context, ineq, 0, 1); 3902 find_solutions(sol, tab); 3904 if (!sol->error) 3905 sol->context->op->restore(sol->context, saved); 3905 sol->context->op->restore(sol->context, saved); 3907 sol->context->op->discard(saved); 3910 sol->error = 1;