concepts.dm.pdsketch.planners.optimistic_search_bilevel_legacy.enumerate_possible_symbolic_plans_regression_c_v2#

enumerate_possible_symbolic_plans_regression_c_v2(executor, state, goal_expr, max_depth=10, enable_reordering=True, verbose=False)[source]#

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_depth (int) – the maximum depth of goal regression search.

  • enable_reordering (bool) – whether to enable reordering of the subgoals coming from different chains.

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

Returns:

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

Return type:

Iterable[Tuple[Sequence[OperatorApplier], ConstraintSatisfactionProblem, State, State]]