5 typedef std::map< propertyAnn *, analyzeAnn *>
analyze_map;
56 void test(procLocation * where,
57 propertyAnalyzer * property_analyzer);
66 void compute_next(procLocation * where,
67 propertyAnalyzer * property_analyzer);
76 void apply_next(procLocation * where,
77 propertyAnalyzer * property_analyzer,
78 memoryblock_set & changes);