concepts.pdsketch.crow.regression_utils.map_csp_placeholder_goal

map_csp_placeholder_goal(subgoal, csp, placeholder_csp, cur_csp_variable_mapping, cur_reg_variable_mapping=None)

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]]