concepts.dm.pdsketch.strips.strips_expression.SBoolNot#

class SBoolNot[source]#

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)[source]#

Initialize a boolean NOT expression.

Parameters:

expr (SBoolOutputExpression) – the expression to be negated.

__new__(**kwargs)#
ground(variable_dict, state=None)[source]#

Return a new expression with all variables grounded according to the given variable dictionary.

Parameters:
iter_effect_predicates()#

Iterate over the effect predicate names in the expression.

Return type:

Iterable[str]

iter_precondition_predicates()[source]#

Iterate over the precondition predicate names in the expression.

Return type:

Iterable[str]

expr: SBoolOutputExpression#

The expression to be negated.