SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Go to the source code of this file.
Namespaces | |
benchmax | |
Functions | |
std::filesystem::path | benchmax::common_prefix (const std::filesystem::path &p1, const std::filesystem::path &p2) |
Computes the common prefix of two paths. More... | |
std::filesystem::path | benchmax::common_prefix (const std::vector< std::filesystem::path > &s, bool skip_last=true) |
Computes the common prefix of a list of paths. More... | |
std::filesystem::path | benchmax::common_prefix (const std::initializer_list< std::vector< std::filesystem::path >> &s, bool skip_last=true) |
Computes the common prefix of multiple lists of paths. More... | |
std::filesystem::path | benchmax::remove_prefix (const std::filesystem::path &s, const std::filesystem::path &prefix) |
Remove a prefix from a path. More... | |
bool | benchmax::is_extension (const std::filesystem::path &path, const std::string &extension) |
Checks whether the extension of the filename is as specified. More... | |