Connect++
0.6.0
A fast, readable connection prover for first-order logic.
Loading...
Searching...
No Matches
PathUtilities.hpp
1
/*
2
3
Copyright © 2023-24 Sean Holden. All rights reserved.
4
5
*/
6
/*
7
8
This file is part of Connect++.
9
10
Connect++ is free software: you can redistribute it and/or modify it
11
under the terms of the GNU General Public License as published by the
12
Free Software Foundation, either version 3 of the License, or (at your
13
option) any later version.
14
15
Connect++ is distributed in the hope that it will be useful, but WITHOUT
16
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
17
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
18
more details.
19
20
You should have received a copy of the GNU General Public License along
21
with Connect++. If not, see <https://www.gnu.org/licenses/>.
22
23
*/
24
25
#ifndef PATHUTILITIES_HPP
26
#define PATHUTILITIES_HPP
27
28
#include <iostream>
29
#include <filesystem>
30
31
namespace
fs = std::filesystem;
32
33
namespace
path_utilities {
45
fs::path insert_count_in_path(fs::path, uint32_t);
46
}
47
48
#endif
source
utilities
PathUtilities.hpp
Generated by
1.10.0