concepts.dm.pdsketch.execution_utils.recompute_state_variable_predicates_#

recompute_state_variable_predicates_(executor, state)[source]#

Recompute the state variable predicates for a given state.

Parameters: