1.1 --- a/lemon/lgf_writer.h	Wed Jul 09 07:57:09 2008 +0200
     1.2 +++ b/lemon/lgf_writer.h	Wed Jul 09 07:57:53 2008 +0200
     1.3 @@ -225,17 +225,17 @@
     1.4        }
     1.5      };
     1.6  
     1.7 -    bool isWhiteSpace(char c) {
     1.8 +    inline bool isWhiteSpace(char c) {
     1.9        return c == ' ' || c == '\t' || c == '\v' || 
    1.10          c == '\n' || c == '\r' || c == '\f'; 
    1.11      }
    1.12  
    1.13 -    bool isEscaped(char c) {
    1.14 +    inline bool isEscaped(char c) {
    1.15        return c == '\\' || c == '\"' || c == '\'' || 
    1.16  	c == '\a' || c == '\b';
    1.17      }
    1.18  
    1.19 -    static void writeEscape(std::ostream& os, char c) {
    1.20 +    inline static void writeEscape(std::ostream& os, char c) {
    1.21        switch (c) {
    1.22        case '\\':
    1.23  	os << "\\\\";
    1.24 @@ -276,7 +276,7 @@
    1.25        }     
    1.26      }
    1.27  
    1.28 -    bool requireEscape(const std::string& str) {
    1.29 +    inline bool requireEscape(const std::string& str) {
    1.30        if (str.empty() || str[0] == '@') return true;
    1.31        std::istringstream is(str);
    1.32        char c;
    1.33 @@ -288,7 +288,7 @@
    1.34        return false;
    1.35      }
    1.36      
    1.37 -    std::ostream& writeToken(std::ostream& os, const std::string& str) {
    1.38 +    inline std::ostream& writeToken(std::ostream& os, const std::string& str) {
    1.39  
    1.40        if (requireEscape(str)) {
    1.41  	os << '\"';