6 #ifndef TEMP_IDENTIFIER_HXX
7 # define TEMP_IDENTIFIER_HXX
14 # include <boost/variant.hpp>
26 template <
template <
typename Tag_>
class Traits_>
28 Identifier<Traits_>::map;
30 template <
template <
typename Tag_>
class Traits_>
32 operator<<(std::ostream& ostr, const Identifier<Traits_>& obj)
37 return (*m)(obj).
dump(ostr);
39 return obj.dump(ostr);
43 template <
template <
typename Tag_>
class Traits_>
46 , prefix_(&Traits_<unsigned>::prefix)
47 , rank_(Traits_<unsigned>::rank)
52 template <
template <
typename Tag_>
class Traits_>
55 , prefix_(&Traits_<misc::symbol>::prefix)
56 , rank_(Traits_<misc::symbol>::rank)
71 #endif // !TEMP_IDENTIFIER_HXX