annotate spp/src/pc.h @ 6:ce08b0efa3fd draft

Uploaded
author zzhou
date Tue, 27 Nov 2012 16:11:40 -0500
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
1 #ifndef PC_H
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
2 #define PC_H 1
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
3 #include <functional>
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
4 //#include <hash_map.h>
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
5 #include <ext/hash_set>
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
6 #include <ext/hash_map>
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
7
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
8
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
9 namespace __gnu_cxx
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
10 {
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
11 template<> struct hash< std::string >
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
12 {
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
13 size_t operator()( const std::string& x ) const
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
14 {
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
15 return hash< const char* >()( x.c_str() );
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
16 }
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
17 };
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
18 }
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
19
ce08b0efa3fd Uploaded
zzhou
parents:
diff changeset
20 #endif