diff options
Diffstat (limited to 'src/generic/problemresolver/tier_operation.h')
| -rw-r--r-- | src/generic/problemresolver/tier_operation.h | 8 |
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 |