*/
#include "fail.h"
+#include "debugmsg.h"
+
+#ifndef NO_GINAC_NAMESPACE
+namespace GiNaC {
+#endif // ndef NO_GINAC_NAMESPACE
//////////
// default constructor, destructor, copy constructor assignment operator and helpers
return new fail(*this);
}
+void fail::print(ostream & os, unsigned upper_precedence) const
+{
+ debugmsg("fail print",LOGLEVEL_PRINT);
+ os << "FAIL";
+}
+
+void fail::printraw(ostream & os) const
+{
+ debugmsg("fail printraw",LOGLEVEL_PRINT);
+ os << "FAIL";
+}
+
// protected
int fail::compare_same_type(basic const & other) const
const fail some_fail;
type_info const & typeid_fail=typeid(some_fail);
+#ifndef NO_GINAC_NAMESPACE
+} // namespace GiNaC
+#endif // ndef NO_GINAC_NAMESPACE