DEFAULT_UNARCHIVE(relational)
//////////
-// functions overriding virtual functions from bases classes
+// functions overriding virtual functions from base classes
//////////
// public
return (o < oth.o) ? -1 : 1;
}
+bool relational::match_same_type(const basic & other) const
+{
+ GINAC_ASSERT(is_exactly_of_type(other, relational));
+ const relational &oth = static_cast<const relational &>(other);
+
+ return o == oth.o;
+}
+
unsigned relational::return_type(void) const
{
GINAC_ASSERT(lh.return_type()==rh.return_type());