Up – Package index » goblint » Library goblint.lib » Transform » PartialEval » visitor

Class `PartialEval.visitor`

inherit Cil.nopCilVisitor

method vstmt : Cil.stmt -> Cil.stmt Cil.visitAction

method vexpr : Cil.exp -> Cil.exp Cil.visitAction