concepts.pdsketch.crow.regression_utils#

Utility functions for regression search.

Functions

evaluate_bool_scalar_expression(executor, ...)

gen_applicable_regression_rules(executor, ...)

ground_fol_expression(expression, ...)

Ground the given FOL expression with the given variable mapping.

ground_fol_expression_v2(expression, ...)

Ground the given FOL expression with the given variable mapping.

ground_operator_application_expression(...)

Ground the given operator application expression with the given variable mapping.

surface_fol_downcast(expression_1, expression_2)

Trying to downcast the expression_1 to the same form as expression_2.

Classes

ApplicableRegressionRuleGroup

ApplicableRegressionRuleGroup(chain_index, subgoal_index, regression_rules)

ApplicableRegressionRuleItem

ApplicableRegressionRuleItem(regression_rule, bounded_variables)