From db301b68d3a8f9d95a73087b415ffafca30fca37 Mon Sep 17 00:00:00 2001 From: Daniel Burrows Date: Sat, 30 Jan 2010 18:54:30 -0800 Subject: Write the code to dump a tier operation to an ostream. --- src/generic/problemresolver/tier_operation.h | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/generic/problemresolver/tier_operation.h') 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 + /** \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 -- cgit v1.2.3