interpreter       110 old_code/2015linfty/dune_bdf.hpp 			std::istringstream interpreter {line};
interpreter       111 old_code/2015linfty/dune_bdf.hpp 			for(std::string s; interpreter >> s; ){
interpreter       139 old_code/2015linfty/dune_bdf.hpp 		std::istringstream interpreter {s};
interpreter       142 old_code/2015linfty/dune_bdf.hpp 			if(!(interpreter >> it)) error("operator>>() failed!");
interpreter       143 old_code/2015linfty/dune_bdf.hpp 		if(!(interpreter >> std::ws).eof())	// stuff left in stream?
interpreter       125 old_code/tumor_growth/tumor_bdf.h       std::istringstream interpreter {line};
interpreter       126 old_code/tumor_growth/tumor_bdf.h       for(std::string s; interpreter >> s; ){
interpreter       160 old_code/tumor_growth/tumor_bdf.h     std::istringstream interpreter {s};
interpreter       163 old_code/tumor_growth/tumor_bdf.h       if(!(interpreter >> it)) error("operator>>() failed!");
interpreter       164 old_code/tumor_growth/tumor_bdf.h     if(!(interpreter >> std::ws).eof())	// stuff left in stream?
interpreter       148 src/grid_GridAndTime_impl.cpp     istringstream interpreter {line};
interpreter       149 src/grid_GridAndTime_impl.cpp     for(string s; interpreter >> s; )
interpreter       185 src/grid_GridAndTime_impl.cpp   std::istringstream interpreter {str_node};
interpreter       189 src/grid_GridAndTime_impl.cpp     if(interpreter >> value) rv[it] = value;
interpreter       192 src/grid_GridAndTime_impl.cpp   if( !(interpreter >> std::ws).eof()) // stuff left in stream