concepts.pdsketch.executor.PDSketchExecutionDefaultVisitor#

class PDSketchExecutionDefaultVisitor[source]#

Bases: ExpressionVisitor

The underlying default implementation for PDSketchExecutor. 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 (PDSketchExecutor) – 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#
On this page