concepts.pdsketch.planners.optimistic_search.construct_csp_from_optimistic_plan#

construct_csp_from_optimistic_plan(executor, state, goal_expr, actions, *, simplify=False, verbose=False)[source]#

Construct a CSP from an optimistic plan.

Parameters:

executor (PDSketchExecutor) – the executor.
state (State) – the initial state.
goal_expr (str | ValueOutputExpression) – the goal expression.
actions (Sequence[OperatorApplier]) – a list of partially grounded actions.
simplify (bool) – whether to simplify the CSP.
verbose (bool) – whether to print verbose information.

Returns:

the list of grounded actions, and the constructed CSP.

Return type: