00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017 #ifndef VCSN_TOOLS_USUAL_ESCAPED_CHARACTERS_HXX
00018 # define VCSN_TOOLS_USUAL_ESCAPED_CHARACTERS_HXX
00019
00020 # include <vaucanson/tools/usual_escaped_characters.hh>
00021
00022 namespace vcsn {
00023 namespace tools {
00024
00025 inline
00026 std::set<char>
00027 usual_escaped_characters()
00028 {
00029 std::set<char> result;
00030 result.insert('.');
00031 result.insert('+');
00032 result.insert('*');
00033 result.insert('(');
00034 result.insert(')');
00035 result.insert('\\');
00036 result.insert(' ');
00037 result.insert('1');
00038 result.insert('0');
00039 result.insert('[');
00040 result.insert(']');
00041 return result;
00042 }
00043
00044 }
00045 }
00046
00047 #endif // ! VCSN_TOOLS_USUAL_ESCAPED_CHARACTERS_HXX