Up – Package index » goblint » Library goblint.lib » Goblint_lib » AutoTune » functionVisitor

Class `AutoTune.functionVisitor`Source

inherit GoblintCil.nopCilVisitor

method vfunc : GoblintCil.fundec -> GoblintCil.fundec GoblintCil.visitAction