Class Nonterm_run.instr_stmt_collector

class instr_stmt_collector : object .. end
Inherits
val instr_stmts : Cil_types.stmt list Pervasives.ref
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method get_instr_stmts : Cil_types.stmt list