if (call_parent) inherited::destroy(call_parent);
}
-
-//////////
-// other constructors
-//////////
-
-// none
-
//////////
// archiving
//////////
return 0;
}
-//////////
-// new virtual functions which can be overridden by derived classes
-//////////
-
-// none
-
-//////////
-// non-virtual functions in this class
-//////////
-
-// none
-
-//////////
-// static member variables
-//////////
-
-// none
-
-//////////
-// global constants
-//////////
-
-const fail some_fail;
-const std::type_info & typeid_fail = typeid(some_fail);
-
#ifndef NO_NAMESPACE_GINAC
} // namespace GiNaC
#endif // ndef NO_NAMESPACE_GINAC