concepts.dm.pdsketch.csp_solvers.dpll_sampling.dpll_find_grounded_function_application#

dpll_find_grounded_function_application(executor, constraints)[source]#

Find a function application whose arguments are all determined.

Parameters:
Returns:

the function application that is not determined.

Return type:

Constraint | None