Index of classes

V
visitor [E_acsl_visitor]

Visitor for managing the root of the AST, on the globals level, with the cases that are relevant to E-ACSL.