Searched refs:canonical_expr (Results 1 – 3 of 3) sorted by relevance
317 LinearExpression canonical_expr; in CanonicalizeExpr() local318 canonical_expr.offset = expr.offset; in CanonicalizeExpr()321 canonical_expr.vars.push_back(NegationOf(expr.vars[i])); in CanonicalizeExpr()322 canonical_expr.coeffs.push_back(-expr.coeffs[i]); in CanonicalizeExpr()324 canonical_expr.vars.push_back(expr.vars[i]); in CanonicalizeExpr()325 canonical_expr.coeffs.push_back(expr.coeffs[i]); in CanonicalizeExpr()328 return canonical_expr; in CanonicalizeExpr()
349 const LinearExpression canonical_expr = CanonicalizeExpr(expr); in AppendEnforcedLinearExpression() local352 LinExprLowerBound(canonical_expr, *integer_trail); in AppendEnforcedLinearExpression()363 for (int i = 0; i < canonical_expr.vars.size(); i++) { in AppendEnforcedLinearExpression()364 lc.AddTerm(canonical_expr.vars[i], canonical_expr.coeffs[i]); in AppendEnforcedLinearExpression()369 LinExprUpperBound(canonical_expr, *integer_trail); in AppendEnforcedLinearExpression()379 for (int i = 0; i < canonical_expr.vars.size(); i++) { in AppendEnforcedLinearExpression()380 lc.AddTerm(canonical_expr.vars[i], canonical_expr.coeffs[i]); in AppendEnforcedLinearExpression()
610 NetEConst*canonical_expr = new NetEConst(verinum(canonical_addr)); in normalize_variable_unpacked() local611 return canonical_expr; in normalize_variable_unpacked()633 NetExpr*canonical_expr = 0; in normalize_variable_unpacked() local692 if (canonical_expr == 0) { in normalize_variable_unpacked()693 canonical_expr = tmp_scaled; in normalize_variable_unpacked()695 bool expr_has_sign = canonical_expr->has_sign() && in normalize_variable_unpacked()697 canonical_expr = new NetEBAdd('+', canonical_expr, tmp_scaled, in normalize_variable_unpacked()698 canonical_expr->expr_width()+1, in normalize_variable_unpacked()706 ivl_assert(loc, canonical_expr); in normalize_variable_unpacked()708 return canonical_expr; in normalize_variable_unpacked()