Member predicate ConstantExprs::ExprEvaluator::getValue

Gets the value of (interesting) expression e, if any.

int getValue(Expr e)