Major Section: EVENTS
Examples: (add-invisible-fns binary-+ unary-- foo)The setting above has makes unary functions
unary-- and foo
``invisible'' for the purposes of applying permutative :rewrite
rules to binary-+ trees. Thus, arg and (unary-- arg) will be
given the same weight and will be permuted so as to be adjacent.
General Form: (add-invisible-fns top-fn unary-fn1 ... unary-fnk)where
top-fn is a function symbol and the unary-fni are unary
function symbols.
For more information see invisible-fns-table. Also
see set-invisible-fns-table, which explains how to set the entire table in a
single event, and see remove-invisible-fns.