#ifndef MATH_MACROTABLE_H
#define MATH_MACROTABLE_H
-#include <map>
-#include "support/std_string.h"
#include "math_atom.h"
+#include <map>
+#include <string>
+
class MathMacroTable {
public:
///
static void create(MathAtom const &);
///
- static MathAtom & provide(string const & name);
+ static MathAtom & provide(std::string const & name);
///
- static bool has(string const & name);
+ static bool has(std::string const & name);
///
static void dump();
private:
///
- typedef std::map<string, MathAtom> table_type;
+ typedef std::map<std::string, MathAtom> table_type;
//
static table_type macro_table;
};