concepts.pdsketch.planners.optimistic_search_bilevel_utils

Utility functions to conduct bi-level search for optimistic planning.

Functions

enumerate_possible_symbolic_plans(executor, ...)
enumerate_possible_symbolic_plans_regression_1(...)
enumerate_possible_symbolic_plans_regression_c_v3(...)	Enumerate all possible plans that can achieve the goal.
extract_bounded_variables_from_nonzero(...)	Extract the indices of the given tensor value.
extract_bounded_variables_from_nonzero_dc(...)	Extract bounded variables from nonzero indices in the preconditions of a regression rule.
gen_applicable_regression_rules_v3(executor, ...)

Classes

OptimisticSearchSymbolicPlan

OptimisticSearchSymbolicPlan(actions: Sequence[concepts.pdsketch.operator.OperatorApplier], csp: concepts.dsl.constraint.ConstraintSatisfactionProblem, initial_state: concepts.pdsketch.domain.State, last_state: concepts.pdsketch.domain.State)