concepts.dm.pdsketch.strips.strips_expression.make_sproposition

make_sproposition(name, *args)

Compose a proposition from a predicate name and a list of arguments.

Parameters:

• name (str)

• args (str | Variable | ObjectConstantExpression)

Return type:

str