concepts.pdsketch.strips.strips_expression.SConditionalAssignExpression

class SConditionalAssignExpression

Bases: SVariableAssignmentExpression

The representation of a conditional assignment expression. Note that the inner assignment expression is always a StripsAssignment.

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, if the condition is satisfied.
assign_op	The assignment expression.
condition	The condition expression.

__init__(assign_op, condition)

Initialize a conditional assignment expression.

Parameters:

• assign_op (SAssignExpression) – the assignment expression.

• condition (SBoolOutputExpression) – the condition expression.

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

assign_op: SAssignExpression

The assignment expression.

condition: SBoolOutputExpression

The condition expression.

property predicate

The predicate in the state representation to be assigned.

property value

The value to be assigned, if the condition is satisfied.