More extensive logging added to struct_to_nominal and matching_classes (now on trace level).
Matching is now done by iterating over methods in question and intersecting the sets of classes for which these methods are defined, which significantly speeds up the process.
For this to work, init_meth_to_cls builds a map from methods to classes on the first call to matching_classes.
More extensive logging added to
struct_to_nominalandmatching_classes(now ontracelevel).Matching is now done by iterating over methods in question and intersecting the sets of classes for which these methods are defined, which significantly speeds up the process.
For this to work,
init_meth_to_clsbuilds a map from methods to classes on the first call to matching_classes.