concepts.pdsketch.regression_utils

Utility functions for regression search.

Functions

create_find_expression_csp_variable(...)	Create a TensorValue that corresponds to a variable inside a FindExpression.
create_find_expression_variable_placeholder(...)	Create a TensorValue that corresponds to a variable inside a FindExpression.
cvt_single_optimistic_value_or_list(x)	Convert a single optimistic value stored in a TensorValue to an OptimisticValue.
evaluate_bool_scalar_expression(executor, ...)
gen_applicable_regression_rules(executor, ...)
gen_grounded_subgoals_with_placeholders(...)	Generated a set of subgoals with placeholders for CSP variables.
ground_fol_expression(expression, ...)	Ground the given FOL expression with the given variable mapping.
ground_fol_expression_v2(expression, ...)	Ground the given FOL expression with the given variable mapping.
ground_operator_application_expression(...)	Ground the given operator application expression with the given variable mapping.
ground_regression_application_expression(...)	Ground the given regression application expression with the given variable mapping.
has_optimistic_constant_expression(*expressions)	Check if there is a ConstantExpression whose value is an optimistic constant.
has_optimistic_value_or_list(x)	Check if there is any optimistic value in the input TensorValue or a list of TensorValue's.
is_single_optimistic_value_or_list(x)	Check if the input TensorValue is a single optimistic value or a list of TensorValue's that are all single optimistic values.
len_candidate_regression_rules(...)	Compute the number of candidate regression rules.
make_rule_applier(rule, bounded_variables)	Make a rule applier from a regression rule and a set of bounded variables.
map_csp_placeholder_action(action, csp, ...)	Map the CSP variables in the action to the CSP variables in the placeholder CSP.
map_csp_placeholder_goal(subgoal, csp, ...)	Map the CSP variables in the subgoal to the CSP variables in the placeholder CSP.
map_csp_placeholder_regression_rule_applier(...)	Map the CSP variables in the regression rule applier to the CSP variables in the placeholder CSP.
map_csp_variable_mapping(...)	Map the CSP variable mapping to the new variable mapping.
map_csp_variable_state(state, csp, assignments)	Map the CSP variable state to the new variable state.
mark_constraint_group_solver(executor, ...)	Mark the solver for the current state.
surface_fol_downcast(expression_1, expression_2)	Trying to downcast the expression_1 to the same form as expression_2.

Classes

ApplicableRegressionRuleGroup	ApplicableRegressionRuleGroup(chain_index, subgoal_index, regression_rules)
ApplicableRegressionRuleItem	ApplicableRegressionRuleItem(regression_rule, bounded_variables)