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

Class `Termination.recomputeVisitor`

inherit Prelude.Ana.nopCilVisitor

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