concepts.dm.pdsketch.predicate.get_used_state_variables

get_used_state_variables(expr)

Return the set of state variables used in the given expression.

Parameters:

expr (ValueOutputExpression) – the expression to be analyzed.

Returns:

the set of state variables (the Predicate objects) used in the given expression.

Return type:

Set[Predicate]