Class Ltl_to_acsl_visitors.visit_adding_code_for_synchronisation


class visit_adding_code_for_synchronisation : Promelaast.buchautomata -> object .. end
This visitor add a ghost code before each call and return functions in order to compute the modification of the buchi automata.
Inherits
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction