concepts.dm.pdsketch.regression_utils.ground_fol_expression#

ground_fol_expression(expression, variable_mapping)[source]#

Ground the given FOL expression with the given variable mapping.

Parameters:
  • expression (ValueOutputExpression) – the expression to ground.

  • variable_mapping (Dict[Variable, str]) – the variable mapping, which is a mapping from the Variable object to the constant name.

Returns:

the grounded expression.

Return type:

ValueOutputExpression