Searched defs:cleaned_constraint_manager (Results 1 – 1 of 1) sorted by relevance
1295 class cleaned_constraint_manager : public constraint_manager class1298 cleaned_constraint_manager (constraint_manager *merged) : m_merged (merged) {} in cleaned_constraint_manager() function in ana::cleaned_constraint_manager