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

Class `Termination.loopBreaksVisitor`

inherit Goblint_lib.Prelude.Ana.nopCilVisitor

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