symbol.hh

   1 #ifndef SYMBOL_HH
   2 #define SYMBOL_HH
   3 #include "string.hh"
   4 #include "boxes.hh"
   5
   6 struct Symbol {
   7     String tex;
   8     Box dim;
   9
  10     Symbol (String, Box);
  11     Symbol();
  12 };
  13
  14 struct Parametric_symbol {
  15
  16     Symbol eval(String args1) const; // convenience
  17     Symbol eval(String args1,String arg2) const; // convenience
  18     virtual Symbol eval(svec<String> args)const =0;
  19     virtual ~Parametric_symbol();
  20 };
  21
  22 #endif