concepts.dm.pdsketch.planners.optimistic_search.goal_test#

goal_test(executor, state, goal_expr, csp, trajectory, csp_max_generator_trials=3, mpt_tracker=None, verbose=False)[source]#

Test whether a state satisfies a goal expression with DPLL+Sampling CSP solver.

Parameters:
Returns:

the trajectory of grounded actions that leads to the goal state if the goal is satisfied, otherwise None.

Return type:

List[OperatorApplier] | None