concepts.dm.pdsketch.strips.strips_expression.SExpression#

class SExpression[source]#

Bases: ABC

The base class for STRIPS expressions.

Methods

ground(variable_dict[, state])

Return a new expression with all variables grounded according to the given variable dictionary.

iter_effect_predicates()

Iterate over the effect predicate names in the expression.

iter_precondition_predicates()

Iterate over the precondition predicate names in the expression.

__init__()#
__new__(**kwargs)#
ground(variable_dict, state=None)[source]#

Return a new expression with all variables grounded according to the given variable dictionary.

Parameters:
abstract iter_effect_predicates()[source]#

Iterate over the effect predicate names in the expression.

Return type:

Iterable[str]

abstract iter_precondition_predicates()[source]#

Iterate over the precondition predicate names in the expression.

Return type:

Iterable[str]