Заголовок:

template < typename IntegerType >
class boost::math::gcd_evaluator
{
public:
   // Types
   typedef IntegerType  result_type;
   typedef IntegerType  first_argument_type;
   typedef IntegerType  second_argument_type;
   // Function object interface
   result_type  operator ()( first_argument_type const &a,
   second_argument_type const &b ) const;
};

Шаблон класса<boost::math::gcd>_evaluator определяет класс объекта функции для возврата наибольшего общего делителя двух целых чисел. Шаблон параметризирован одним типом, называемым здесь<IntegerType>. Этот тип должен быть числовым типом, который представляет целые числа. Результат функции объекта всегда неотрицателен, даже если любой из аргументов оператора отрицателен.

Этот шаблон класса объектов функции используется в соответствующей версии шаблона функции GCD. Если числовой тип хочет настроить оценки своих наибольших общих делителей, то тип должен специализироваться на шаблоне класса<gcd_evaluator>.