| 39 | |
| 40 | template<class S> |
| 41 | void |
| 42 | VarComparator<S>::compare(const Space& s0, const Space& s1) { |
| 43 | std::ostringstream result; |
| 44 | dynamic_cast<const S&>(s0).compare(s1,result); |
| 45 | if (result.str() != "") { |
| 46 | init(); |
| 47 | addHtml("<pre>\n"); |
| 48 | getStream() << result.str() << std::endl; |
| 49 | addHtml("</pre><hr />"); |
| 50 | } |
| 51 | } |
| 52 | |
| 53 | template<class S> |
| 54 | std::string |