concepts.pdsketch.execution_utils.recompute_state_variable_predicates_#

recompute_state_variable_predicates_(executor, state)[source]#

Recompute the state variable predicates for a given state.

Parameters:

executor (PDSketchExecutor) – the executor.
state (State) – the state.