concepts.dm.pdsketch.strips.strips_expression.make_sproposition_from_function_application

make_sproposition_from_function_application(expr, objects=None)

Compose a proposition from a function application expression.

Parameters:

• expr (FunctionApplicationExpression)

• objects (Dict[str, str] | None)

Return type:

str