Write the code to dump a tier operation to an ostream.

1 files changed, 8 insertions, 0 deletions

diff --git a/src/generic/problemresolver/tier_operation.h b/src/generic/problemresolver/tier_operation.h
index 57be296c..8ad5dc67 100644
--- a/src/generic/problemresolver/tier_operation.h
+++ b/src/generic/problemresolver/tier_operation.h
@@ -23,6 +23,8 @@
 #include "exceptions.h"
 #include "tier.h"
 
+#include <iosfwd>
+
 /** \brief A tier operation describes how any solution's tier will
  * change as a result of adding a choice.
  *
@@ -149,6 +151,12 @@ public:
    *  \param t  The tier that this operation should modify.
    */
   tier apply(const tier &t) const;
+
+  /** \brief Write a description of a tier operation to an ostream.
+   */
+  void dump(std::ostream &out) const;
 };
 
+std::ostream &operator<<(std::ostream &out, const tier_operation &t);
+
 #endif // TIER_OPERATION_H