concepts.pdsketch.parsers.csp_parser.ExpressionToCSPConverter

class ExpressionToCSPConverter

Bases: ExpressionVisitor

Methods

visit(expr)	The main entry point of the visitor.
visit_assign_expression(expr)
visit_bool_expression(expr)
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)
visit_value_compare_expression(expr)
visit_variable_expression(expr)

__init__(csp, domain)

Parameters:

• csp (NamedConstraintSatisfactionProblem)

• domain (Domain)

__new__(**kwargs)

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)

Parameters:

expr (AssignExpression)

Return type:

Any

visit_bool_expression(expr)

Parameters:

expr (BoolExpression)

Return type:

Any

visit_condition_expression(expr)

Parameters:

expr (ConditionExpression)

Return type:

Any

visit_conditional_assign_expression(expr)

Parameters:

expr (ConditionalAssignExpression)

Return type:

Any

visit_conditional_select_expression(expr)

Parameters:

expr (ConditionalSelectExpression)

Return type:

Any

visit_constant_expression(expr)

Parameters:

expr (ConstantExpression)

Return type:

Any

visit_deictic_assign_expression(expr)

Parameters:

expr (DeicticAssignExpression)

Return type:

Any

visit_deictic_select_expression(expr)

Parameters:

expr (DeicticSelectExpression)

Return type:

Any

visit_find_all_expression(expr)

Parameters:

expr (FindAllExpression)

Return type:

Any

visit_find_one_expression(expr)

Parameters:

expr (FindOneExpression)

Return type:

Any

visit_function_application_expression(expr)

Parameters:

expr (FunctionApplicationExpression)

Return type:

Any

visit_generalized_quantification_expression(expr)

Parameters:

expr (GeneralizedQuantificationExpression)

Return type:

Any

visit_list_creation_expression(expr)

Parameters:

expr (ListCreationExpression)

Return type:

Any

visit_list_expansion_expression(expr)

Parameters:

expr (ListExpansionExpression)

Return type:

Any

visit_list_function_application_expression(expr)

Parameters:

expr (ListFunctionApplicationExpression)

Return type:

Any

visit_null_expression(expr)

Parameters:

expr (NullExpression)

Return type:

Any

visit_object_compare_expression(expr)

Parameters:

expr (ObjectCompareExpression)

Return type:

Any

visit_object_constant_expression(expr)

Parameters:

expr (ObjectConstantExpression)

Return type:

Any

visit_predicate_equal_expression(expr)

Parameters:

expr (PredicateEqualExpression)

Return type:

Any

visit_quantification_expression(expr)

Parameters:

expr (QuantificationExpression)

Return type:

Any

visit_value_compare_expression(expr)

Parameters:

expr (ValueCompareExpression)

Return type:

Any

visit_variable_expression(expr)

Parameters:

expr (VariableExpression)

Return type:

Any