diff options
Diffstat (limited to 'Carpet/Requirements/src/clause.hh')
-rw-r--r-- | Carpet/Requirements/src/clause.hh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Carpet/Requirements/src/clause.hh b/Carpet/Requirements/src/clause.hh index 66e06df74..23e9b0470 100644 --- a/Carpet/Requirements/src/clause.hh +++ b/Carpet/Requirements/src/clause.hh @@ -1,3 +1,5 @@ +#ifndef CLAUSE_HH +#define CLAUSE_HH #include <cctk_Schedule.h> #include <vector> @@ -34,4 +36,12 @@ namespace Requirements { void input (istream& is); void output (ostream& os) const; }; + + inline ostream& operator<< (ostream& os, const clause_t& a) { + a.output(os); + return os; + } + }; + +#endif |