#include "basic.h"
-#ifndef NO_NAMESPACE_GINAC
namespace GiNaC {
-#endif // ndef NO_NAMESPACE_GINAC
class fail : public basic
{
GINAC_DECLARE_REGISTERED_CLASS(fail, basic)
-
- // other constructors
+
+ // other ctors
// none
-
+
// functions overriding virtual functions from bases classes
public:
- basic * duplicate() const;
void print(std::ostream & os, unsigned upper_precedence=0) const;
void printraw(std::ostream & os) const;
protected:
- int compare_same_type(const basic & other) const;
unsigned return_type(void) const { return return_types::noncommutative_composite; };
// new virtual functions which can be overridden by derived classes
// none
-
+
// non-virtual functions in this class
// none
-
+
// member variables
// none
};
-#ifndef NO_NAMESPACE_GINAC
} // namespace GiNaC
-#endif // ndef NO_NAMESPACE_GINAC
#endif // ndef __GINAC_FAIL_H__