value 54 include/io_dof.h double value {0.}; value 55 include/io_dof.h if(ifs >> value) *first = value; value 70 include/io_dof.h double value {0.}; value 71 include/io_dof.h if(ifs >> value) *first = value; value 187 src/grid_GridAndTime_impl.cpp double value {0.}; value 189 src/grid_GridAndTime_impl.cpp if(interpreter >> value) rv[it] = value;