concepts.pdsketch.regression_rule#

Functions

gen_all_grounded_regression_rules(executor, ...)

Generate all grounded regression rules applicable in an environment, given the initial state.

Classes

AchieveExpression

An achieve expression.

BindExpression

A bind expression.

ConditionalRegressionRuleBodyExpression

A conditional regression rule body.

LoopRegressionRuleBodyExpression

A while-loop regression rule body.

RegressionCommitFlag

RegressionRule

RegressionRuleApplicationExpression

An abstract regression rule grounding.

RegressionRuleApplier

RuntimeAssignExpression

SubgoalCSPSerializability

SubgoalSerializability

The subgoal serializability of a regression rule.