package goblint
Class LoopUnrolling.loopUnrollingVisitor
inherit GoblintCil.nopCilVisitormethod vstmt : GoblintCil.stmt -> GoblintCil.stmt GoblintCil.visitActionLoopUnrolling.loopUnrollingVisitorinherit GoblintCil.nopCilVisitormethod vstmt : GoblintCil.stmt -> GoblintCil.stmt GoblintCil.visitAction