concepts.dm.pdsketch.operator.OperatorApplicationExpression#
- class OperatorApplicationExpression[source]#
Bases:
object
An abstract operator grounding. For example
(move ?x ?y)
where?x
and?y
are variables in the context.Methods
Attributes
The name of the operator.
The operator that is applied.
The arguments of the operator.
- __init__(operator, arguments)[source]#
- Parameters:
operator (Operator)
arguments (Sequence[VariableExpression | UnnamedPlaceholder | ValueOutputExpression])
- __new__(**kwargs)#
- ground(executor)[source]#
Ground the operator statement.
- Parameters:
executor (PDSketchExecutor)
- Return type:
- arguments: Tuple[VariableExpression | UnnamedPlaceholder | ValueOutputExpression, ...]#
The arguments of the operator.