concepts.pdsketch.predicate.get_used_state_variables# get_used_state_variables(expr)[source]# 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]