cprover
|
Go to the source code of this file.
Functions | |
static mathematical_function_typet | lambda_type (const lambda_exprt::variablest &variables, const exprt &where) |
static optionalt< exprt > | substitute_symbols_rec (const std::map< irep_idt, exprt > &substitutions, exprt src) |
|
static |
Definition at line 34 of file mathematical_expr.cpp.