concepts.dm.pdsketch.strips.strips_grounded_expression.GSBoolForwardDiffReturn

class GSBoolForwardDiffReturn

Bases: object

The return type of the forward difference function of a Boolean expression.

Methods

Attributes

rv	The return value of the expression.
propositions	The set of propositions that have contributed to the return value.

__init__(rv, propositions)

Parameters:

• rv (bool)

• propositions (FrozenSet[str] | Set[str])

Return type:

None

__new__(**kwargs)

propositions: FrozenSet[str] | Set[str]

The set of propositions that have contributed to the return value.

rv: bool

The return value of the expression.