diff options
Diffstat (limited to 'Carpet/Requirements/src/all_clauses.cc')
| -rw-r--r-- | Carpet/Requirements/src/all_clauses.cc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Carpet/Requirements/src/all_clauses.cc b/Carpet/Requirements/src/all_clauses.cc index 950b73386..179a411a3 100644 --- a/Carpet/Requirements/src/all_clauses.cc +++ b/Carpet/Requirements/src/all_clauses.cc @@ -1,14 +1,12 @@ - #include <iostream> +#include <map> #include <vector> #include <cctk.h> #include <cctki_Schedule.h> -//#include <clauses.hh> -//#include <clause.hh> + #include <all_clauses.hh> #include <util.hh> -#include <map> using namespace std; @@ -38,10 +36,12 @@ namespace Requirements { } return; } + void all_clauses_t::output(ostream& os) const { os << "all_clauses: {" << std::endl; - for (std::map<cFunctionData const*, clauses_t const*>::const_iterator ti=clauses_map.begin(); + for (std::map<cFunctionData const*, clauses_t const*>::const_iterator + ti=clauses_map.begin(); ti!=clauses_map.end(); ++ti) { |