concepts.pdsketch.regression_rule.RegressionRule#

class RegressionRule[source]#

Bases: object

Methods

pddl_str()

Attributes

BodyItemType

alias of Union[OperatorApplicationExpression, RegressionRuleApplicationExpression, AchieveExpression, FindExpression, ListExpansionExpression, CSPCommitFlag]

nr_arguments

The number of arguments of the regression rule.

serializability

name

The name of the regression rule.

arguments

The arguments to the regression rule.

goal_arguments

The arguments that appear in the goal of the regression rule.

binding_arguments

The arguments that do not appear in the goal of the regression rule.

preconditions

The preconditions of the regression rule.

preconditions_conjunction

The conjunction of the preconditions of the regression rule.

goal_expression

The goal expression of the regression rule.

body

The body of the regression rule, including operator applications and achieve expressions.

always

Whether the regression rule is always applicable.

max_reorder_prefix_length

The maximum length of the prefix of the body that might need to be reordered.

max_rule_prefix_length

The maximum length of the prefix of the body that need tracking of all possible refinements.

__call__(*args)[source]#

Ground the operator with a list of arguments.

Return type:

RegressionRuleApplier

__init__(name, parameters, preconditions, goal_expression, body, always=False)[source]#

Initialize a regression rule.

Parameters:
__new__(**kwargs)#
pddl_str()[source]#
Return type:

str

BodyItemType#

alias of Union[OperatorApplicationExpression, RegressionRuleApplicationExpression, AchieveExpression, FindExpression, ListExpansionExpression, CSPCommitFlag]

always: bool#

Whether the regression rule is always applicable.

arguments: Tuple[Variable, ...]#

The arguments to the regression rule.

binding_arguments: Tuple[Variable, ...]#

The arguments that do not appear in the goal of the regression rule.

body: Tuple[OperatorApplicationExpression | RegressionRuleApplicationExpression | AchieveExpression | FindExpression | ListExpansionExpression | CSPCommitFlag, ...]#

The body of the regression rule, including operator applications and achieve expressions.

goal_arguments: Tuple[Variable, ...]#

The arguments that appear in the goal of the regression rule.

goal_expression: ValueOutputExpression#

The goal expression of the regression rule.

max_reorder_prefix_length: int#

The maximum length of the prefix of the body that might need to be reordered.

max_rule_prefix_length: int#

The maximum length of the prefix of the body that need tracking of all possible refinements.

name: str#

The name of the regression rule.

property nr_arguments: int#

The number of arguments of the regression rule.

preconditions: Tuple[Precondition, ...]#

The preconditions of the regression rule.

preconditions_conjunction: AndExpression#

The conjunction of the preconditions of the regression rule.

property serializability#