concepts.dm.pdsketch.operator.MacroOperator#

class MacroOperator[source]#

Bases: OperatorBase

Methods

pddl_str()

Return the PDDL representation of the operator.

Attributes

is_axiom

Whether the operator is an axiom.

is_extended_macro

Whether this macro operator is an extended macro.

is_macro

Whether this operator is a macro operator.

is_primitive

Whether this operator is a primitive operator.

nr_arguments

The number of arguments of the operator.

name

The name of the macro operator.

arguments

The list of arguments of the macro operator.

sub_operators

The list of sub operators of the macro operator.

preconditions

The list of preconditions of the macro operator (only used for extended macros).

effects

The list of effects of the macro operator (only used for extended macros).

__call__(*args)[source]#

Ground the operator with a list of arguments.

Return type:

OperatorApplier

__init__(name, arguments, sub_operators, preconditions=tuple(), effects=tuple())[source]#
Parameters:
__new__(**kwargs)#
pddl_str()[source]#

Return the PDDL representation of the operator.

Return type:

str

arguments: Tuple[Variable, ...]#

The list of arguments of the macro operator.

effects: Tuple[Effect, ...]#

The list of effects of the macro operator (only used for extended macros).

property is_axiom: bool#

Whether the operator is an axiom.

property is_extended_macro: bool#

Whether this macro operator is an extended macro.

property is_macro: bool#

Whether this operator is a macro operator.

property is_primitive: bool#

Whether this operator is a primitive operator.

name: str#

The name of the macro operator.

property nr_arguments: int#

The number of arguments of the operator.

preconditions: Tuple[Precondition, ...]#

The list of preconditions of the macro operator (only used for extended macros).

sub_operators: Tuple[OperatorApplier, ...]#

The list of sub operators of the macro operator.