concepts.dm.pdsketch.strips.strips_grounded_expression.GSSimpleBoolAssignExpression#

class GSSimpleBoolAssignExpression[source]#

Bases: GSVariableAssignmentExpression

A simple assignment expression. Here, a simple assignment expression is represented by the set of add effects and the set of delete effects, both of which are a set of propositions.

Methods

`compile`()	Compile the assignment expression into a function.
`filter_propositions`(propositions[, state])	Filter the given propositions from the expression.
`iter_propositions`()	Iterate over all propositions that are used in this expression.
`relax`()	Delete relaxation of a simple assignment.

Attributes

`add_effects`	The set of add effects.
`del_effects`	The set of delete effects.

__init__(add_effects, del_effects)[source]#

Initialize the simple assignment expression.

Parameters:

add_effects (Iterable[str]) – the set of add effects.
del_effects (Iterable[str]) – the set of delete effects.

__new__(**kwargs)#

compile()[source]#

Compile the assignment expression into a function. By default, the function will return the state with the add and delete effects applied.

Return type:: Callable[[SState], SState]

filter_propositions(propositions, state=None)[source]#

Filter the given propositions from the expression. For simple assignment expressions, the filtering is done simply by removing irrelevant propositions from the add and delete effects.

Parameters:

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

Return type:

GSSimpleBoolAssignExpression

iter_propositions()[source]#

Iterate over all propositions that are used in this expression.

Return type:: Iterable[str]

relax()[source]#

Delete relaxation of a simple assignment. Essentially, it removes all delete effects.

Return type:: GSSimpleBoolAssignExpression

add_effects: FrozenSet[str]#: The set of add effects.

del_effects: FrozenSet[str]#: The set of delete effects.