reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
168 Counter get(const CounterExpression &E);
111 C = get(CounterExpression(CounterExpression::Add, C, 120 C = get(CounterExpression(CounterExpression::Subtract, C, 127 return simplify(get(CounterExpression(CounterExpression::Add, LHS, RHS))); 132 get(CounterExpression(CounterExpression::Subtract, LHS, RHS)));