concepts.dsl.expression_utils.ground_fol_expression_str#
- ground_fol_expression_str(expression, variable_mapping)[source]#
Ground the given FOL expression with the given variable mapping.
- Parameters:
expression (ValueOutputExpression) – the expression to ground.
variable_mapping (Dict[str, ListValue | ObjectConstant | ValueBase | Variable]) – the variable mapping, which is a mapping from the Variable object to the constant name.
- Returns:
the grounded expression.
- Return type: