Index of classes


C
check_annot_visitor [Datascope]
Collect the annotations that can be removed because they are redondant.

R
rm_annot_visitor [Datascope]
Visitor to remove the annotations collected by check_asserts.