concepts.pdsketch.strips.atomic_strips_domain.AtomicStripsAchieveExpression#

class AtomicStripsAchieveExpression[source]#

Bases: object

Methods

from_achieve_expression(expression)

Create a strips achieve expression from a PDSketch achieve expression.

ground(variable_dict[, state])

Attributes

goal

The goal of the achieve expression.

maintains

A list of expression to be maintained.

__call__(*args)[source]#

Call self as a function.

__init__(goal, maintains)[source]#
Parameters:
__new__(**kwargs)#
classmethod from_achieve_expression(expression)[source]#

Create a strips achieve expression from a PDSketch achieve expression.

Parameters:

expression (AchieveExpression) – the PDSketch achieve expression.

Returns:

the strips achieve expression.

Return type:

AtomicStripsAchieveExpression

ground(variable_dict, state=None)[source]#
Parameters:
goal: SBoolPredicateApplicationExpression#

The goal of the achieve expression.

maintains: Tuple[SBoolPredicateApplicationExpression, ...]#

A list of expression to be maintained.