Searched refs:var_restriction_eq_or_crosseq (Results 1 – 2 of 2) sorted by relevance
499 var_restriction_eq_or_crosseq.clear(); in clear_VAR_storage()533 var_restriction_eq_or_crosseq.emplace_back(var_restriction_coeff, expr); in add_VAR_restriction_eq_or_crosseq()539 assert(var_restriction_eq_or_crosseq.size() > 0 && var_restriction_eq_or_crosseq.size() < 3); in add_VAR_restriction_equation_or_crossequation()541 if (var_restriction_eq_or_crosseq.size() == 1) in add_VAR_restriction_equation_or_crossequation()542 …var_restriction_equation_or_crossequation = { { var_restriction_eq_or_crosseq[0], { { -1, { -1, -1… in add_VAR_restriction_equation_or_crossequation()544 …_restriction_equation_or_crossequation = { { var_restriction_eq_or_crosseq[0], var_restriction_eq_… in add_VAR_restriction_equation_or_crossequation()545 var_restriction_eq_or_crosseq.clear(); in add_VAR_restriction_equation_or_crossequation()551 assert(var_restriction_eq_or_crosseq.size() == 2); in multiply_arg2_by_neg_one()552 expr_t exprtm1 = add_times(var_restriction_eq_or_crosseq[1].second, in multiply_arg2_by_neg_one()554 var_restriction_eq_or_crosseq[1] = { var_restriction_eq_or_crosseq[1].first, exprtm1 }; in multiply_arg2_by_neg_one()
316 vector<var_restriction_eq_crosseq_t> var_restriction_eq_or_crosseq; member in ParsingDriver