| 2767 | } |
| 2768 | |
| 2769 | TypePointers SMTEncoder::replaceUserTypes(TypePointers const& _types) |
| 2770 | { |
| 2771 | return applyMap(_types, [](auto _type) { |
| 2772 | if (auto userType = dynamic_cast<UserDefinedValueType const*>(_type)) |
| 2773 | return &userType->underlyingType(); |
| 2774 | return _type; |
| 2775 | }); |
| 2776 | } |
| 2777 | |
| 2778 | std::pair<Expression const*, FunctionCallOptions const*> SMTEncoder::functionCallExpression(FunctionCall const& _funCall) |
| 2779 | { |
nothing calls this directly
no test coverage detected