concepts.pdsketch.csp_solvers.dpll_sampling.dpll_find_grounded_function_application

dpll_find_grounded_function_application(executor, constraints)

Find a function application whose arguments are all determined.

Parameters:

• executor (PDSketchExecutor) – the executor.

• constraints (List[Constraint | GroupConstraint | None]) – the list of constraints.

Returns:

the function application that is not determined.

Return type:

Constraint | None