SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
filesystem.h File Reference
#include <filesystem>
#include <iostream>
#include <vector>
#include "../logging.h"
Include dependency graph for filesystem.h:
This graph shows which files directly or indirectly include this file:

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...