matchpy.expressions.functions module¶
-
is_constant
(expression)¶ Check if the given expression is constant, i.e. it does not contain Wildcards.
-
is_syntactic
(expression)¶ Check if the given expression is syntactic, i.e. it does not contain sequence wildcards or associative/commutative operations.
-
get_head
(expression)¶ Returns the given expression’s head.
-
match_head
(subject, pattern)¶ Checks if the head of subject matches the pattern’s head.
-
preorder_iter
(expression)¶ Iterate over the expression in preorder.
-
preorder_iter_with_position
(expression)¶ Iterate over the expression in preorder.
Also yields the position of each subexpression.
-
is_anonymous
(expression)¶ Returns True iff the expression does not contain any variables.
-
contains_variables_from_set
(expression, variables)¶ Returns True iff the expression contains any of the variables from the given set.
-
create_operation_expression
(old_operation, new_operands, variable_name=True)¶
-
rename_variables
(expression: matchpy.expressions.expressions.Expression, renaming: Dict[str, str]) → matchpy.expressions.expressions.Expression¶ Rename the variables in the expression according to the given dictionary.
Parameters: - expression – The expression in which the variables are renamed.
- renaming – The renaming dictionary. Maps old variable names to new ones. Variable names not occuring in the dictionary are left unchanged.
Returns: The expression with renamed variables.
-
op_iter
(operation)¶
-
op_len
(operation)¶
-
get_variables
(expression, variables=None)¶ Returns the set of variable names in the given expression.