Lines Matching full:abstraction
283 /// \brief Abstraction for a trip count of a loop. A smaller version
