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.