concepts.pdsketch.regression_utils.map_csp_placeholder_goal#

map_csp_placeholder_goal(subgoal, csp, placeholder_csp, cur_csp_variable_mapping, cur_reg_variable_mapping=None)[source]#

Map the CSP variables in the subgoal to the CSP variables in the placeholder CSP.

Parameters:

subgoal (ValueOutputExpression)
csp (ConstraintSatisfactionProblem)
placeholder_csp (ConstraintSatisfactionProblem)
cur_csp_variable_mapping (Dict[int, TensorValue])
cur_reg_variable_mapping (Dict[str, Any] | None)

Return type:

Tuple[ValueOutputExpression, Dict[int, TensorValue]]