concepts.dsl.expression.FunctionApplicationExpression#

class FunctionApplicationExpression[source]#

Bases: ValueOutputExpression

Function application expression represents the application of a function over a list of arguments.

Methods

`cached_string`([max_length])
`check_arguments`()

Attributes

`is_and_expr`
`is_constant_bool_expr`
`is_exists_expr`
`is_forall_expr`
`is_implies_expr`
`is_not_expr`
`is_null_expression`
`is_object_output_expression`
`is_or_expr`
`is_value_output_expression`
`is_variable_assignment_expression`
`is_xor_expr`
`return_type`
`function`	The function to be applied.
`arguments`	The list of arguments to the function.

__init__(function, arguments)[source]#

Parameters:

cached_string(max_length=None)#

arguments: Tuple[ObjectOrValueOutputExpression, ...]#: The list of arguments to the function.