concepts.dm.crow.crow_expression_utils#

Functions

`crow_flatten_expression`(expr[, mappings, ...])	Flatten an expression by replacing certain variables or function applications with sub-expressions.
`crow_get_simple_bool_predicate`(expr)	If the expression is a simple bool (see `is_simple_bool()`), it returns the underlying predicate.
`crow_get_used_state_variables`(expr)	Return the set of state variables used in the given expression.
`crow_is_simple_bool`(expr)	Check if the expression is a simple Boolean expression.
`crow_replace_expression_variables`(expr[, ...])
`crow_split_simple_bool`(expr[, initial_negated])	If the expression is a simple Boolean expression (see `is_simple_bool()`), it returns the feature definition and a boolean indicating whether the expression is negated.
`make_plan_serializable`(plan[, json_compatible])

Classes