| 60 | /// Print set view |
| 61 | template<class Char, class Traits, class IL, class IU> |
| 62 | void |
| 63 | print(std::basic_ostream<Char,Traits>& s, bool assigned, IL& lb, IU& ub, |
| 64 | unsigned int cardMin, unsigned int cardMax) { |
| 65 | if (assigned) { |
| 66 | printBound(s, ub); |
| 67 | } else { |
| 68 | printBound(s,lb); |
| 69 | s << ".."; |
| 70 | printBound(s,ub); |
| 71 | if (cardMin==cardMax) { |
| 72 | s << "#(" << cardMin << ")"; |
| 73 | } else { |
| 74 | s << "#(" << cardMin << "," << cardMax << ")"; |
| 75 | } |
| 76 | } |
| 77 | } |
| 78 | |
| 79 | template<class Char, class Traits> |
| 80 | std::basic_ostream<Char,Traits>& |