concepts.dm.pdsketch.strips.strips_expression.SBoolOutputExpression

class SBoolOutputExpression

Bases: SValueOutputExpression, ABC

The base class for STRIPS expressions that output a boolean value.

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)

iter_effect_predicates()

Iterate over the effect predicate names in the expression.

Return type:

Iterable[str]

abstract iter_precondition_predicates()

Iterate over the precondition predicate names in the expression.

Return type:

Iterable[str]