concepts.dsl.expression_utils.FlattenExpressionVisitor#

class FlattenExpressionVisitor[source]#

Bases: IdentityExpressionVisitor

Methods

__init__(ctx, mappings, deep=True)[source]#
Parameters:
__new__(**kwargs)#
make_dummy_variable(variable)[source]#
Parameters:

variable (Variable)

visit(expr)#

The main entry point of the visitor. It will call the corresponding method for the given expression type.

Parameters:

expr (Expression) – the expression to visit.

Returns:

the result of the visit.

Return type:

Any

visit_assign_expression(expr)[source]#
Parameters:

expr (AssignExpression)

Return type:

AssignExpression

visit_bool_expression(expr)[source]#
Parameters:

expr (BoolExpression)

Return type:

BoolExpression

visit_condition_expression(expr)#
Parameters:

expr (ConditionExpression)

Return type:

Any

visit_conditional_assign_expression(expr)[source]#
Parameters:

expr (ConditionalAssignExpression)

Return type:

ConditionalAssignExpression

visit_conditional_select_expression(expr)[source]#
Parameters:

expr (ConditionalSelectExpression)

Return type:

ConditionalSelectExpression

visit_constant_expression(expr)[source]#
Parameters:

expr (Expression)

Return type:

Expression

visit_deictic_assign_expression(expr)[source]#
Parameters:

expr (DeicticAssignExpression)

Return type:

DeicticAssignExpression

visit_deictic_select_expression(expr)[source]#
Parameters:

expr (DeicticSelectExpression)

Return type:

DeicticSelectExpression

visit_find_all_expression(expr)[source]#
Parameters:

expr (FindAllExpression)

Return type:

FindAllExpression

visit_find_one_expression(expr)#
Parameters:

expr (FindOneExpression)

Return type:

FindOneExpression

visit_function_application_expression(expr)[source]#
Parameters:

expr (FunctionApplicationExpression | ListFunctionApplicationExpression)

Return type:

VariableExpression | ValueOutputExpression

visit_generalized_quantification_expression(expr)#
Parameters:

expr (GeneralizedQuantificationExpression)

Return type:

GeneralizedQuantificationExpression

visit_list_creation_expression(expr)[source]#
Parameters:

expr (ListCreationExpression)

Return type:

ListCreationExpression

visit_list_expansion_expression(expr)[source]#
Parameters:

expr (ListExpansionExpression)

Return type:

ListExpansionExpression

visit_list_function_application_expression(expr)[source]#
Parameters:

expr (ListFunctionApplicationExpression)

Return type:

VariableExpression | ValueOutputExpression

visit_null_expression(expr)#
Parameters:

expr (NullExpression)

Return type:

NullExpression

visit_object_compare_expression(expr)[source]#
Parameters:

expr (ObjectCompareExpression)

Return type:

ObjectCompareExpression

visit_object_constant_expression(expr)[source]#
Parameters:

expr (Expression)

Return type:

Expression

visit_predicate_equal_expression(expr)[source]#
Parameters:

expr (PredicateEqualExpression)

Return type:

PredicateEqualExpression

visit_quantification_expression(expr)[source]#
Parameters:

expr (QuantificationExpression)

Return type:

QuantificationExpression

visit_value_compare_expression(expr)[source]#
Parameters:

expr (ValueCompareExpression)

Return type:

ValueCompareExpression

visit_variable_expression(expr)[source]#
Parameters:

expr (VariableExpression)

Return type:

VariableExpression | ValueOutputExpression