Searched defs:get_obj (Results 1 – 5 of 5) sorted by relevance
58 get_obj () in get_obj() function
446 equiv_class_id::get_obj (const constraint_manager &cm) const in get_obj() function in ana::equiv_class_id454 equiv_class_id::get_obj (constraint_manager &cm) const in get_obj() function in ana::equiv_class_id
417 #define get_obj(obj) do { (obj)->use++; } while (0) macro
1452 equiv_class_id::get_obj (const constraint_manager &cm) const in get_obj() function in ana::equiv_class_id1460 equiv_class_id::get_obj (constraint_manager &cm) const in get_obj() function in ana::equiv_class_id