class calls_collection :(
object
Inherits
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vpredicate : Cil_types.predicate -> Cil_types.predicate Cil.visitAction
end
:
object ... end
)
Inherits
method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
method vpredicate : Cil_types.predicate -> Cil_types.predicate Cil.visitAction