Carpet/Requirements/src/location.cc


1
2
3
4
5
6
7
8
9
10
11
12
13

#include <location.hh>
#include <iostream>

namespace Requirements {

  void location_t::output(ostream& os) const
  {
    os << "vi:"  << vi << ",it:" << it << ", ";
    os << "[rl:" << rl << ",";
    os <<  "tl:" << tl << ",";
    os <<  "m:"  << m << "]";
  }
}