Up – Package index » goblint-cil » Library goblint-cil.makecfg » Makecfg » MakeCFG » vidVisitor

Class `MakeCFG.vidVisitor`Source

inherit GoblintCil.nopCilVisitor

val count : int ref

method vvdec : GoblintCil.varinfo -> GoblintCil.varinfo GoblintCil.visitAction