concepts.dm.crow.executors.crow_executor.CrowExecutionDefaultVisitor#

class CrowExecutionDefaultVisitor[source]#

Bases: ExpressionVisitor

The underlying default implementation for CrowExecutor. This function does not handle CSPs (a.k.a. optimistic execution).

Methods

forward_args(*args[, force_tuple, ...])

forward_external_function(function_name, ...)

visit(expr)

The main entry point of the visitor.

visit_assign_expression(expr)

visit_bool_expression(expr[, argument_values])

visit_condition_expression(expr)

visit_conditional_assign_expression(expr)

visit_conditional_select_expression(expr)

visit_constant_expression(expr)

visit_deictic_assign_expression(expr)

visit_deictic_select_expression(expr)

visit_find_all_expression(expr)

visit_find_one_expression(expr)

visit_function_application_expression(expr)

visit_generalized_quantification_expression(expr)

visit_list_creation_expression(expr)

visit_list_expansion_expression(expr)

visit_list_function_application_expression(expr)

visit_null_expression(expr)

visit_object_compare_expression(expr)

visit_object_constant_expression(expr)

visit_predicate_equal_expression(expr[, ...])

visit_quantification_expression(expr[, value])

visit_value_compare_expression(expr)

visit_variable_expression(expr)

Attributes

CONDITIONAL_ASSIGN_QUANTIZE

csp

__init__(executor)[source]#

Initialize a PDExpressionExecutionDefaultVisitor.

Parameters:

executor (CrowExecutor) – the executor that uses this visitor.

__new__(**kwargs)#
forward_args(*args, force_tuple=False, expand_list_arguments=False)[source]#
Parameters:
  • force_tuple (bool) –

  • expand_list_arguments (bool) –

Return type:

TensorValue | slice | StateObjectReference | ListValue | None | Tuple[TensorValue | slice | StateObjectReference | ListValue | None, …] | Tuple[TensorValue | slice | StateObjectReference | ListValue | None | Tuple[TensorValue | slice | StateObjectReference | ListValue | None, …], …]

forward_external_function(function_name, argument_values, return_type, auto_broadcast=True, expression=None)[source]#
Parameters:
Return type:

TensorValue

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) –

visit_bool_expression(expr, argument_values=None)[source]#
Parameters:
Return type:

TensorValue | slice | StateObjectReference | ListValue | None | Tuple[TensorValue | slice | StateObjectReference | ListValue | None, …]

visit_condition_expression(expr)[source]#
Parameters:

expr (ConditionExpression) –

Return type:

Any

visit_conditional_assign_expression(expr)[source]#
Parameters:

expr (ConditionalAssignExpression) –

visit_conditional_select_expression(expr)[source]#
Parameters:

expr (ConditionalSelectExpression) –

Return type:

TensorValue | slice | StateObjectReference | ListValue | None | Tuple[TensorValue | slice | StateObjectReference | ListValue | None, …]

visit_constant_expression(expr)[source]#
Parameters:

expr (ConstantExpression) –

Return type:

TensorValue | slice | StateObjectReference | ListValue | None | Tuple[TensorValue | slice | StateObjectReference | ListValue | None, …]

visit_deictic_assign_expression(expr)[source]#
Parameters:

expr (DeicticAssignExpression) –

visit_deictic_select_expression(expr)[source]#
Parameters:

expr (DeicticSelectExpression) –

Return type:

TensorValue | slice | StateObjectReference | ListValue | None | Tuple[TensorValue | slice | StateObjectReference | ListValue | None, …]

visit_find_all_expression(expr)[source]#
Parameters:

expr (FindAllExpression) –

Return type:

Any

visit_find_one_expression(expr)[source]#
Parameters:

expr (FindOneExpression) –

Return type:

Any

visit_function_application_expression(expr, argument_values=None)[source]#
Parameters:
Return type:

TensorValue | slice | StateObjectReference | ListValue | None | Tuple[TensorValue | slice | StateObjectReference | ListValue | None, …]

visit_generalized_quantification_expression(expr)#
Parameters:

expr (GeneralizedQuantificationExpression) –

Return type:

Any

visit_list_creation_expression(expr)[source]#
Parameters:

expr (ListCreationExpression) –

Return type:

Any

visit_list_expansion_expression(expr)[source]#
Parameters:

expr (ListExpansionExpression) –

Return type:

Any

visit_list_function_application_expression(expr)[source]#
Parameters:

expr (ListFunctionApplicationExpression) –

Return type:

Any

visit_null_expression(expr)[source]#
Parameters:

expr (NullExpression) –

Return type:

Any

visit_object_compare_expression(expr)[source]#
Parameters:

expr (ObjectCompareExpression) –

Return type:

Any

visit_object_constant_expression(expr)[source]#
Parameters:

expr (ObjectConstantExpression) –

Return type:

StateObjectReference | ListValue

visit_predicate_equal_expression(expr, feature=None, value=None)[source]#
Parameters:
Return type:

TensorValue | slice | StateObjectReference | ListValue | None | Tuple[TensorValue | slice | StateObjectReference | ListValue | None, …]

visit_quantification_expression(expr, value=None)[source]#
Parameters:
Return type:

TensorValue | slice | StateObjectReference | ListValue | None | Tuple[TensorValue | slice | StateObjectReference | ListValue | None, …]

visit_value_compare_expression(expr)[source]#
Parameters:

expr (ValueCompareExpression) –

Return type:

Any

visit_variable_expression(expr)[source]#
Parameters:

expr (VariableExpression) –

Return type:

TensorValue | slice | StateObjectReference | ListValue | None | Tuple[TensorValue | slice | StateObjectReference | ListValue | None, …]

CONDITIONAL_ASSIGN_QUANTIZE = False#
property csp: ConstraintSatisfactionProblem#