concepts.pdsketch.strips.atomic_strips_domain.AtomicStripsOperator

class AtomicStripsOperator

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)

Call self as a function.

Parameters:

args (str)

__init__(arguments, preconditions, add_effects, del_effects, raw_operator)

Parameters:

• arguments (Sequence[Variable])

• preconditions (Sequence[SBoolPredicateApplicationExpression])

• add_effects (Sequence[SBoolPredicateApplicationExpression])

• del_effects (Sequence[SBoolPredicateApplicationExpression])

• raw_operator (Operator)

__new__(**kwargs)

classmethod from_operator(operator)

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)

Parameters:

• variable_dict (Dict[str, str])

• state (SState | Set[str] | None)

relax()

Return type:

AtomicStripsOperator

to_applier_pddl_str(bound_arguments)

Parameters:

bound_arguments (Dict[str, str])

to_applier_str(bound_arguments)

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.