concepts.dm.pdsketch.strips.strips_expression.SVariableAssignmentExpression

class SVariableAssignmentExpression

Bases: SExpression, ABC

The base class for STRIPS expressions that assign a value to a state variable.

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)

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

Parameters:

• variable_dict (Dict[str, str])

• state (SState | Set[str] | None)

abstract iter_effect_predicates()

Iterate over the effect predicate names in the expression.

Return type:

Iterable[str]

iter_precondition_predicates()

Iterate over the precondition predicate names in the expression.

Return type:

Iterable[str]