concepts.dm.pdsketch.operator.Operator#

class Operator[source]#

Bases: OperatorBase

The operator definition in a planning domain.

Methods

`pddl_str`()	Return the PDDL representation of the operator.
`rename`(new_name[, is_primitive])	Rename the operator.

Attributes

`argument_names`	The names of the arguments of the operator.
`argument_types`	The types of the arguments of the operator.
`is_axiom`	Whether this operator is an axiom.
`is_macro`	Whether the operator is a macro operator.
`is_primitive`	Whether this operator is a primitive operator (instead of a macro operator or a sub operator in a macro).
`nr_arguments`	The number of arguments of the operator.
`name`	The name of the operator.
`arguments`	The list of arguments of the operator.
`preconditions`	The list of preconditions of the operator.
`effects`	The list of effects of the operator.
`controller`	The controller function of the operator.
`is_template`	Whether this operator is a template.
`extends`	The name of the operator that this operator extends.

__call__(*args)[source]#

Ground the operator with a list of arguments.

Return type:: OperatorApplier

__init__(name, arguments, preconditions, effects, controller=None, is_primitive=True, is_axiom=False, is_template=False, extends=None)[source]#

Parameters:

name (str)
arguments (Sequence[Variable])
preconditions (Sequence[Precondition])
effects (Sequence[Effect])
controller (Implementation | None)
is_primitive (bool)
is_axiom (bool)
is_template (bool)
extends (str | None)

__new__(**kwargs)#

pddl_str()[source]#

Return the PDDL representation of the operator.

Return type:: str

rename(new_name, is_primitive=None)[source]#

Rename the operator.

Parameters:

new_name (str)
is_primitive (bool | None)

Return type:

Operator

property argument_names: Tuple[str, ...]#: The names of the arguments of the operator.

property argument_types: Tuple[ObjectType | ValueType, ...]#: The types of the arguments of the operator.

arguments: Tuple[Variable]#: The list of arguments of the operator.

controller: Implementation | None#: The controller function of the operator.

effects: Tuple[Effect]#: The list of effects of the operator.

extends: str | None#: The name of the operator that this operator extends.

property is_axiom: bool#: Whether this operator is an axiom.

property is_macro#: Whether the operator is a macro operator.

property is_primitive: bool#: Whether this operator is a primitive operator (instead of a macro operator or a sub operator in a macro).

is_template: bool#: Whether this operator is a template.

name: str#: The name of the operator.

property nr_arguments: int#: The number of arguments of the operator.

preconditions: Tuple[Precondition]#: The list of preconditions of the operator.