-constant::constant() : basic(TINFO_constant), ef(0), number(0), serial(next_serial++) {}
-
-// protected
-
-/** For use by copy ctor and assignment operator. */
-void constant::copy(const constant & other)
-{
- inherited::copy(other);
- name = other.name;
- TeX_name = other.TeX_name;
- serial = other.serial;
- ef = other.ef;
- if (other.number != 0)
- number = new numeric(*other.number);
- else
- number = 0;
-}
-
-void constant::destroy(bool call_parent)