Up – Package index » goblint » Library goblint.lib » Goblint_lib » LoopUnrolling » arrayVisitor

Class `LoopUnrolling.arrayVisitor`

inherit GoblintCil.nopCilVisitor

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