concepts.pdsketch.planners.optimistic_search_bilevel_utils.enumerate_possible_symbolic_plans_regression_c_v3

enumerate_possible_symbolic_plans_regression_c_v3(executor, state, goal_expr, *, is_goal_serializable=True, max_actions=10, enable_csp=False, verbose=False)

Enumerate all possible plans that can achieve the goal.

Parameters:

• executor (PDSketchExecutor) – the executor.

• state (State) – the initial state.

• goal_expr (str | ValueOutputExpression) – the goal expression.

• max_actions (int) – the maximum number of actions in a plan.

• verbose (bool) – whether to print verbose information.

• is_goal_serializable (bool)

• enable_csp (bool)

Returns:

A list of plans. Each plan is a tuple of (actions, csp, initial_state, final_state).

Return type:

Tuple[Iterable[OptimisticSearchSymbolicPlan], Dict[str, Any]]