diff options
| author | Yuri Gorshenin <y@maps.me> | 2017-05-25 16:06:32 +0300 |
|---|---|---|
| committer | Yuri Gorshenin <mipt.vi002@gmail.com> | 2017-07-05 13:32:16 +0300 |
| commit | 790817bde6afe92bcd4fe867622474514ee490b0 (patch) | |
| tree | 7ef14f62fedb3ecbe8f2b37a4d1fb31751c0f251 /platform/platform.hpp | |
| parent | 12f430e690a420631858e8d786076f1c32b6e80d (diff) | |
Flag for non matched ids + relaxed restriction on single edge approximation.
Diffstat (limited to 'platform/platform.hpp')
| -rw-r--r-- | platform/platform.hpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/platform/platform.hpp b/platform/platform.hpp index 78fe9d76a1..28b8291808 100644 --- a/platform/platform.hpp +++ b/platform/platform.hpp @@ -165,7 +165,8 @@ public: TFilesWithType & outFiles); static bool IsDirectoryEmpty(string const & directory); - static bool IsDirectory(string const & directory); + // Returns true if |path| refers to a directory. Returns false otherwise or on error. + static bool IsDirectory(string const & path); static EError GetFileType(string const & path, EFileType & type); |