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

Class `Termination.loopCounterVisitor`

inherit Goblint_lib.Prelude.Ana.nopCilVisitor

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