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

Class `Termination.loopInstrVisitor`

inherit Goblint_lib.Prelude.Ana.nopCilVisitor

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