| 1724 | |
| 1725 | template<class S> |
| 1726 | void |
| 1727 | FZPrintingComparator<S>::compare(const Space& s0, const Space& s1) { |
| 1728 | this->init(); |
| 1729 | try { |
| 1730 | dynamic_cast<const S&>(s0).compare(dynamic_cast<const S&>(s1), |
| 1731 | this->getStream(), p); |
| 1732 | } catch (Exception& e) { |
| 1733 | this->getStream() << "Exception: " << e.what(); |
| 1734 | } |
| 1735 | this->getStream() << std::endl; |
| 1736 | } |
| 1737 | |
| 1738 | #endif |
| 1739 |