concepts.dsl.expression_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, ListValue | ObjectConstant | ValueBase | Variable | str]) – the variable mapping, which is a mapping from the Variable object to the constant name.
- Returns:
the grounded expression.
- Return type: