concepts.dm.pdsketch.regression_utils.surface_fol_downcast#

surface_fol_downcast(expression_1, expression_2)[source]#

Trying to downcast the expression_1 to the same form as expression_2. Downcasting means that we try to replace variables in expression_1 with constants in expression_2 to make them the same.

Parameters:
Returns:

the downcasted mapping if the downcasting is successful, otherwise None.

Return type:

Dict[str, Variable | ObjectConstant] | None