concepts.pdsketch.strips.atomic_strips_domain.AtomicStripsOperator#

class AtomicStripsOperator[source]#

Bases: object

Methods

from_operator(operator)

Create a strips operator from a PDSketch operator.

ground(variable_dict[, state])

relax()

to_applier_pddl_str(bound_arguments)

to_applier_str(bound_arguments)

Attributes

arguments

The arguments of the operator, as a tuple of Variable.

preconditions

The precondition of the operator, as a tuple of SBoolPredicateApplicationExpression.

add_effects

The add effects of the operator, as a tuple of SBoolPredicateApplicationExpression.

del_effects

The delete effects of the operator, as a tuple of SBoolPredicateApplicationExpression.

raw_operator

The raw operator that this strips operator is derived from.

__call__(*args)[source]#

Call self as a function.

Parameters:

args (str) –

__init__(arguments, preconditions, add_effects, del_effects, raw_operator)[source]#
Parameters:
__new__(**kwargs)#
classmethod from_operator(operator)[source]#

Create a strips operator from a PDSketch operator.

Parameters:

operator (Operator) – the PDSketch operator.

Returns:

the strips operator.

Return type:

AtomicStripsOperator

ground(variable_dict, state=None)[source]#
Parameters:
relax()[source]#
Return type:

AtomicStripsOperator

to_applier_pddl_str(bound_arguments)[source]#
Parameters:

bound_arguments (Dict[str, str]) –

to_applier_str(bound_arguments)[source]#
Parameters:

bound_arguments (Dict[str, str]) –

add_effects: Tuple[SBoolPredicateApplicationExpression, ...]#

The add effects of the operator, as a tuple of SBoolPredicateApplicationExpression.

arguments: Tuple[Variable]#

The arguments of the operator, as a tuple of Variable.

del_effects: Tuple[SBoolPredicateApplicationExpression, ...]#

The delete effects of the operator, as a tuple of SBoolPredicateApplicationExpression.

preconditions: Tuple[SBoolPredicateApplicationExpression, ...]#

The precondition of the operator, as a tuple of SBoolPredicateApplicationExpression.

raw_operator: Operator#

The raw operator that this strips operator is derived from.