concepts.dm.pdsketch.strips.strips_grounded_expression.GSBoolForwardDiffReturn#

class GSBoolForwardDiffReturn[source]#

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:
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.