namespace dai {
-/// Sends a single Property object to an output stream
std::ostream& operator<< (std::ostream & os, const Property & p) {
os << p.first << "=";
if( p.second.type() == typeid(size_t) )
}
-/// Sends a PropertySet object to an output stream
+/// Writes a PropertySet object to an output stream
std::ostream& operator<< (std::ostream & os, const PropertySet & ps) {
os << "[";
for( PropertySet::const_iterator p = ps.begin(); p != ps.end(); p++ ) {