concepts.dm.pdsketch.strips.strips_expression.SBoolNot

class SBoolNot

Bases: SBoolOutputExpression

The representation of a boolean NOT expression. Note that this class is usually only used as a temporary expression during parsing. At the end, the negation is recorded in the raw StripsBoolPredicateApplicationExpression.

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

expr	The expression to be negated.

__init__(expr)

Initialize a boolean NOT expression.

Parameters:

expr (SBoolOutputExpression) – the expression to be negated.

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

expr: SBoolOutputExpression

The expression to be negated.