get_precision      66 include/io_dgf.h       std::size_t get_precision(const std::string& filename);
get_precision     154 old_code/2015linfty/dune_bdf.hpp 		precision = get_precision(lines);
get_precision     175 old_code/tumor_growth/tumor_bdf.h 	  precision = get_precision(lines);
get_precision     228 old_code/tumor_growth/tumor_bdf.h     precision = get_precision(original_vertices);
get_precision      56 src/io_dgf.cpp   : digit_precision {static_cast<int>(get_precision(fname))},