Lines Matching refs:CounterExpression
33 Counter CounterExpressionBuilder::get(const CounterExpression &E) {
54 extractTerms(E.RHS, E.Kind == CounterExpression::Subtract ? -Sign : Sign,
99 C = get(CounterExpression(CounterExpression::Add, C,
108 C = get(CounterExpression(CounterExpression::Subtract, C,
115 return simplify(get(CounterExpression(CounterExpression::Add, LHS, RHS)));
120 get(CounterExpression(CounterExpression::Subtract, LHS, RHS)));
138 OS << (E.Kind == CounterExpression::Subtract ? " - " : " + ");
172 return E.Kind == CounterExpression::Subtract ? *LHS - *RHS : *LHS + *RHS;