Index of class attributes


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]