variables.hpp

Go to the documentation of this file.

/*******************************************************************
 *   This file is part of the source code of the realroot kernel.
 *   Author(s): B. Mourrain, GALAAD, INRIA
 *   $Id: $
 ********************************************************************/
#ifndef realroot_variables_hpp
#define realroot_variables_hpp
//===================================================================
#include <string>
#include <sstream>
#include <map>
//======================================================================
namespace mmx {
//======================================================================
struct variables {

  int                       _nbvar;
  std::map<std::string,int> _index_of_var;
  std::map<int,std::string> _var_of_index;
  
  variables():_nbvar(0) {}

  variables(const char* s) {*this=s;}
  std::string& let(int i, const std::string& s);
  std::string  operator[](int i);
  std::string  operator[](int i) const;

  int operator[](const std::string& s);
  int operator[](const std::string& s) const;

  variables& operator=(const char* s);

  int nbvar() const {return _nbvar;}
  int size () const {return _nbvar;}

  //static variables default_;

};
  
  template<class C> 
  struct printer {
    template<class OSTREAM> static OSTREAM& 
    print( OSTREAM& os, const C& c, const variables& Var) 
    { 
      os<<c;
    }
  };

//======================================================================
} //  namespace mmx 
//======================================================================
#endif // realroot_variables_hpp