A | |
ae_dat_lst [Availexpslv.aeVisitorClass] | |
C | |
count [Ciltools.sidVisitor] | |
count [Ciltools.vidVisitor] | |
cur_ae_dat [Availexpslv.aeVisitorClass] | |
cur_func [Rmciltmps.unusedRemoverClass] | |
cur_rd_dat [Reachingdefs.rdVisitorClass] | |
E | |
enclosing_loop_info [Widen.widen_visitor] | |
L | |
logic_printer_enabled [Cil.cilPrinter] |
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 [Cil.cilPrinter] |
more info is displayed when on verbose mode.
|
W | |
widen_hints [Widen.widen_visitor] |