concepts.dm.pdsketch.predicate#

Functions

flatten_expression(expr[, mappings, ctx, ...])

Flatten an expression by replacing certain variables or function applications with sub-expressions.

get_simple_bool_predicate(expr)

If the expression is a simple bool (see is_simple_bool()), it returns the underlying predicate.

get_used_state_variables(expr)

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

is_simple_bool(expr)

Check if the expression is a simple Boolean expression.

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.

Classes

FunctionEvaluationDefinitionMode

The evaluation mode of a function definition.

Predicate

A predicate is a special function that can part of the observation or state space.