		Search-engine friendly clone of the ACL2 documentation.

Loop-stopper

Set-invisible-fns-table

Set the invisible functions table

Examples:
(set-invisible-fns-table ((binary-+ unary--)
                          (binary-* unary-/)
                          (unary-- unary--)
                          (unary-/ unary-/)))
(set-invisible-fns-table t) ; restore original invisible-fns-table

Among other things, the setting above has the effect of making unary-- ``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. The form (invisible-fns-table (w state)) returns the current value of the invisible functions table.

Also see add-invisible-fns and see remove-invisible-fns for events that add to and remove from the invisible functions table, while accounting for macro aliases (see macro-aliases-table).

General Form:
(set-invisible-fns-table alist)

where alist is either t or a true list of pairs, each element of which is of the form (fn ufn1 ... ufnk), where fn is a function symbol and each ufni is a unary function symbol. When alist is t, the initial value of this table is used in its place. Modulo the replacement of alist by the default setting when alist is t, this macro is equivalent to

(table invisible-fns-table nil 'alist :clear)

which is also an event (see table).

Note that set-invisible-fns-table does not evaluate its argument. However, you can call table directly for that purpose. For example,

(set-invisible-fns-table ((binary-+ unary--)
                          (binary-* unary-/)
                          (unary-- unary--)
                          (unary-/ unary-/)))

ie equivalent to the following; see table.

(table invisible-fns-table nil
       (quote ((binary-+ unary--)
               (binary-* unary-/)
               (unary-- unary--)
               (unary-/ unary-/)))
       :clear)

See invisible-fns-table for a description of the invisible functions table.