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

Class `Termination.recomputeVisitor`

inherit Goblint_lib.Prelude.Ana.nopCilVisitor

method vfunc : Goblint_lib.Prelude.Ana.fundec ->
  Goblint_lib.Prelude.Ana.fundec Goblint_lib.Prelude.Ana.visitAction