--- layout: fc_discuss_archives title: Message 110 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Substitution in Cil_types.predicate



2012/2/27 Boris Hollas <hollas at informatik.htw-dresden.de>:
>
> But a term may have - via term_lval = term_lhost * term_offset - a
> logic_var and an offset as children. Is the term_offset copied by the
> default method of the copy visitor and references in offset to the old
> base variable (eg s in s.a) - if any - are of type logic_var and thus
> substituted by the visitor?

I'm not sure I understand exactly what you mean here. The behavior of
the generic visitor is to visit each node in order, so basically yes,
all logic_var below the starting point of the visit will be visited.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile