concepts.dm.pdsketch.strips.strips_expression.SAssignExpression

class SAssignExpression

Bases: SVariableAssignmentExpression

The representation of an assignment expression.

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.

Attributes

predicate	The predicate in the state representation to be assigned.
value	The value to be assigned.

__init__(predicate, value)

Initialize an assignment expression.

Parameters:

• predicate (SBoolPredicateApplicationExpression | SSASPredicateApplicationExpression) – the predicate in the state representation to be assigned.

• value (SBoolOutputExpression | SSASExpression) – the value to be assigned.

__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)

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]

predicate: SBoolPredicateApplicationExpression | SSASPredicateApplicationExpression

The predicate in the state representation to be assigned.

value: SBoolOutputExpression | SSASExpression

The value to be assigned.