Go to the documentation of this file.
13 const exprt &_function,
17 ID_function_application,
function_application_exprt(const symbol_exprt &_function, const argumentst &_arguments, const typet &_type)
std::size_t size() const
Amount of nodes this expression tree contains.
const mathematical_function_typet & to_mathematical_function_type(const typet &type)
Cast a typet to a mathematical_function_typet.
Base class for all expressions.
A base class for binary expressions.
exprt::operandst argumentst
typet & type()
Return the type of the expression.
#define PRECONDITION(CONDITION)
API to expression classes for 'mathematical' expressions.