dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
filesystem.h
1
9#pragma once
10
11#include <string>
12#include <vector>
13
14namespace dlinear {
15
25std::string GetExtension(const std::string &name);
26
36std::vector<std::string> SplitStringByWhitespace(const char *in);
37
44std::vector<std::string> GetFiles(const std::string &path, const std::string& extension = "");
45
46} // namespace dlinear
Global namespace for the dlinear library.
std::vector< std::string > GetFiles(const std::string &path, const std::string &extension)
Get the files in a directory.
std::string GetExtension(const std::string &name)
Get the extension of the file.
std::vector< std::string > SplitStringByWhitespace(const char *in)
Split a C-string by whitespace.