Up – Package index » goblint » Library goblint.lib » Goblint_lib » Termination » loopVarsVisitor

Class `Termination.loopVarsVisitor`

inherit Goblint_lib.Prelude.Ana.nopCilVisitor

method vstmt : Goblint_lib.Prelude.Ana.stmt ->
  Goblint_lib.Prelude.Ana.stmt Goblint_lib.Prelude.Ana.visitAction