![]()  | 
  
    Rosetta
    2019.12
    
   | 
 
#include <utility/file/FileName.hh>#include <platform/types.hh>#include <algorithm>#include <cctype>#include <iostream>Namespaces | |
| utility | |
| unresizable vector whose size is known at compile time, which may be allocated on the stack, and which indexes from 0.  | |
| utility::file | |
Functions | |
| std::istream & | utility::file::operator>> (std::istream &stream, FileName &name) | 
| Input from stream.  More... | |
| std::ostream & | utility::file::operator<< (std::ostream &stream, FileName const &name) | 
| Output to stream.  More... | |
| bool | utility::file::char_equali (char c, char d) | 
| Characters equal case-insensitively?  More... | |
| bool | utility::file::equali (std::string const &s, std::string const &t) | 
| Strings equal case-insensitively?  More... | |
 1.8.7