dReal4
filesystem.h
1 #pragma once
2 
3 #include <sys/stat.h>
4 
5 #include <string>
6 
7 namespace dreal {
8 
9 /// Returns true if a filename @p name exists.
10 bool file_exists(const std::string& name);
11 
12 /// Extracts the extension from @p name.
13 ///
14 /// @note It returns an empty string if there is no extension in @p name.
15 std::string get_extension(const std::string& name);
16 
17 } // namespace dreal
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9
dreal::file_exists
bool file_exists(const string &name)
Returns true if a filename name exists.
Definition: filesystem.cc:7
dreal::get_extension
string get_extension(const string &name)
Extracts the extension from name.
Definition: filesystem.cc:15