1 # ifndef CPPAD_UTILITY_SET_UNION_HPP 
    2 # define CPPAD_UTILITY_SET_UNION_HPP 
   72      template <
class Element>
 
   74           const std::set<Element>&     left   ,
 
   75           const std::set<Element>&     right  )
 
   76      {    std::set<Element> result;
 
   82                std::inserter(result, result.begin())
 
std::set< Element > set_union(const std::set< Element > &left, const std::set< Element > &right)