Lines Matching refs:constraint_manager

26 class constraint_manager;  variable
50   void add (svalue_id sid, const constraint_manager &cm);
93   const equiv_class &get_obj (const constraint_manager &cm) const;
94   equiv_class &get_obj (constraint_manager &cm) const;
133   void print (pretty_printer *pp, const constraint_manager &cm) const;
164 class constraint_manager
167   constraint_manager () {}  in constraint_manager()  function
168   constraint_manager (const constraint_manager &other);
169   virtual ~constraint_manager () {}  in ~constraint_manager()
171   virtual constraint_manager *clone (region_model *) const = 0;
176   constraint_manager& operator= (const constraint_manager &other);
179   bool operator== (const constraint_manager &other) const;
180   bool operator!= (const constraint_manager &other) const
226   static void merge (const constraint_manager &cm_a,
227 		     const constraint_manager &cm_b,
228 		     constraint_manager *out,
239   static void clean_merger_input (const constraint_manager &cm_in,
241 				  constraint_manager *out);