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)