Index of class attributes


A
ae_dat_lst [Availexpslv.aeVisitorClass]

C
cur_ae_dat [Availexpslv.aeVisitorClass]
cur_func [Rmciltmps.unusedRemoverClass]
cur_rd_dat [Reachingdefs.rdVisitorClass]

F
force_brace [Printer_api.extensible_printer_type]
If set to true (default is false, some additional braces are printed.

I
is_ghost [Printer_api.extensible_printer_type]
are we printing ghost code?

L
logic_printer_enabled [Printer_api.extensible_printer_type]
Local logical annotation (function specifications and code annotations are printed only if logic_printer_enabled is set to true.

R
rd_dat_lst [Reachingdefs.rdVisitorClass]

U
unused_set [Rmciltmps.unusedRemoverClass]

V
verbose [Printer_api.extensible_printer_type]
more info is displayed when on verbose mode.