concepts.dsl.expression_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:
expression_1 (ValueOutputExpression) – the first expression.
expression_2 (ValueOutputExpression) – the second expression.
- Returns:
the downcasted mapping if the downcasting is successful, otherwise None.
- Return type:
Dict[str, Variable | ObjectConstant] | None