concepts.pdsketch.predicate.is_simple_bool#
- is_simple_bool(expr)[source]#
Check if the expression is a simple Boolean expression. That is, it is either a Boolean state variable, or the negation of a Boolean state variable.
- Parameters:
expr (Expression) – the expression to check.
- Returns:
True if the expression is a simple boolean expression, False otherwise.
- Return type: