All-logic-fns
All :logic-mode functions in a given world.
Typical Form:
(all-logic-fns (w state))
The form (all-logic-fns wrld) returns a duplicate-free list of all
:logic-mode functions in the given ACL2 logical world,
wrld. Although any logical world is a legal input, performance is
generally fastest if the input is the current ACL2 world or a small extension
of it. For example, immediately after starting ACL2 we have measured the time
to execute (length (all-logic-fns (w state))) as 0.01 seconds, and then
execution of (length (all-logic-fns (cdr (w state)))) has taken over 3
seconds.
