Glossary

syntactic

An Expression is syntactic iff it contains neither associative nor commutative operations and also does not contain sequence wildcards (i.e. wildcards with fixed_size set to False).

constant

An Expression is constant iff it does not contain any Wildcard.