concepts.dm.crow.crow_expression_utils#
Functions
|
Flatten an expression by replacing certain variables or function applications with sub-expressions. |
If the expression is a simple bool (see |
|
Return the set of state variables used in the given expression. |
|
|
Check if the expression is a simple Boolean expression. |
|
|
|
If the expression is a simple Boolean expression (see |
|
Classes