Searched refs:impl_constraint_manager (Results 1 – 2 of 2) sorted by relevance
146 class impl_constraint_manager : public constraint_manager class149 impl_constraint_manager (region_model *model) in impl_constraint_manager() function in ana::impl_constraint_manager154 impl_constraint_manager (const impl_constraint_manager &other, in impl_constraint_manager() function in ana::impl_constraint_manager162 return new impl_constraint_manager (*this, model); in clone()3467 m_constraints = new impl_constraint_manager (this); in region_model()
5025 (class impl_constraint_manager): Delete.5192 Reimplement in terms of store, dropping impl_constraint_manager