* Interface to relations between expressions. */
/*
- * GiNaC Copyright (C) 1999 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
#include <ginac/basic.h>
#include <ginac/ex.h>
+#ifndef NO_GINAC_NAMESPACE
+namespace GiNaC {
+#endif // ndef NO_GINAC_NAMESPACE
+
/** This class holds a relation consisting of two expressions and a logical
* relation between them. */
class relational : public basic
{
+ GINAC_DECLARE_REGISTERED_CLASS(relational, basic)
// types
public:
// functions overriding virtual functions from bases classes
public:
basic * duplicate() const;
- void printraw(ostream & os) const;
void print(ostream & os, unsigned upper_precedence=0) const;
+ void printraw(ostream & os) const;
void printcsrc(ostream & os, unsigned type, unsigned upper_precedence=0) const;
bool info(unsigned inf) const;
- int nops() const;
+ unsigned nops() const;
ex & let_op(int const i);
ex eval(int level=0) const;
ex evalf(int level=0) const;
extern const relational some_relational;
extern type_info const & typeid_relational;
-#define ex_to_relational(X) static_cast<relational const &>(*(X).bp)
-
-#endif // ndef __GINAC_RELATIONAL_H__
+// utility functions
+inline const relational &ex_to_relational(const ex &e)
+{
+ return static_cast<const relational &>(*e.bp);
+}
+#ifndef NO_GINAC_NAMESPACE
+} // namespace GiNaC
+#endif // ndef NO_GINAC_NAMESPACE
+#endif // ndef __GINAC_RELATIONAL_H__