- symbol();
- ~symbol() { destroy(false); }
- symbol(const symbol & other);
-protected:
- void copy(const symbol & other);
- void destroy(bool call_parent);
-
- // other ctors
-public:
- explicit symbol(const std::string & initname);
- explicit symbol(const std::string & initname, const std::string & texname);
+ explicit symbol(const std::string & initname, unsigned domain = domain::complex);
+ symbol(const std::string & initname, const std::string & texname, unsigned domain = domain::complex);
+ symbol(const std::string & initname, const std::string & texname, unsigned rt, unsigned domain);
+ symbol(const std::string & initname, unsigned rt, tinfo_t rtt, unsigned domain = domain::complex);
+ symbol(const std::string & initname, const std::string & texname, unsigned rt, tinfo_t rtt, unsigned domain = domain::complex);