concepts.dm.pdsketch.planners.optimistic_search.construct_csp_from_optimistic_plan

construct_csp_from_optimistic_plan(executor, state, goal_expr, actions, *, simplify=False, verbose=False)

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:

Tuple[List[OperatorApplier], ConstraintSatisfactionProblem]