-
Notifications
You must be signed in to change notification settings - Fork 56
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'origin/master' into quotes-in-irirefs
- Loading branch information
Showing
229 changed files
with
3,630 additions
and
1,601 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,50 @@ | ||
| // Copyright 2024, University of Freiburg, | ||
| // Chair of Algorithms and Data Structures. | ||
| // Author: Johannes Kalmbach <[email protected]> | ||
|
|
||
| #pragma once | ||
|
|
||
| #include <algorithm> | ||
| #include <functional> | ||
| #include <range/v3/all.hpp> | ||
| #include <utility> | ||
|
|
||
| #include "backports/concepts.h" | ||
|
|
||
| // The following defines namespaces `ql::ranges` and `ql::views` that are almost | ||
| // drop-in replacements for `std::ranges` and `std::views`. In C++20 mode (when | ||
| // the `QLEVER_CPP_17` macro is not used), these namespaces are simply aliases | ||
| // for `std::ranges` and `std::views`. In C++17 mode they contain the ranges and | ||
| // views from Erice Niebler's `range-v3` library. NOTE: `ql::ranges::unique` | ||
| // currently doesn't work, because the interface to this function is different | ||
| // in both implementations. NOTE: There might be other caveats which we are | ||
| // currently not aware of, because they only affect functions that we currently | ||
| // don't use. For those, the following header can be expanded in the future. | ||
| #ifndef QLEVER_CPP_17 | ||
| #include <ranges> | ||
| #endif | ||
|
|
||
| namespace ql { | ||
|
|
||
| namespace ranges { | ||
| #ifdef QLEVER_CPP_17 | ||
| using namespace ::ranges; | ||
|
|
||
| // The `view` concept (which is rather important when implementing custom views) | ||
| // is in a different namespace in range-v3, so we make it manually accessible. | ||
| template <typename T> | ||
| CPP_concept view = ::ranges::cpp20::view<T>; | ||
| #else | ||
| using namespace std::ranges; | ||
| #endif | ||
| } // namespace ranges | ||
|
|
||
| namespace views { | ||
| #ifdef QLEVER_CPP_17 | ||
| using namespace ::ranges::views; | ||
| #else | ||
| using namespace std::views; | ||
| #endif | ||
| } // namespace views | ||
|
|
||
| } // namespace ql |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,55 @@ | ||
| // Copyright 2024, University of Freiburg | ||
| // Chair of Algorithms and Data Structures | ||
| // Author: Johannes Kalmbach <[email protected]> | ||
|
|
||
| #pragma once | ||
|
|
||
| #include <concepts/concepts.hpp> | ||
| #ifndef QLEVER_CPP_17 | ||
| #include <concepts> | ||
| #endif | ||
|
|
||
| // Define the following macros: | ||
| // | ||
| // `QL_CONCEPT_OR_NOTHING(arg)`: expands to `arg` in C++20 mode, and to | ||
| // nothing in C++17 mode. It can be used to easily opt out of concepts that are | ||
| // only used for documentation and increased safety and not for overload | ||
| // resolution. | ||
| // | ||
| // `QL_CONCEPT_OR_TYPENAME(arg)`: expands to `arg` in C++20 mode, and to | ||
| // `typename` in C++17 mode. Example usage: | ||
| // | ||
| // Example usages: | ||
| // | ||
| // `QL_CONCEPT_OR_NOTHING(std::view) auto x = someFunction();` | ||
| // | ||
| // `QL_CONCEPT_OR_NOTHING(SameAsAny<int, float>)` | ||
| // | ||
| // `void f(QL_CONCEPT_OR_NOTHING(std::view) auto x) {...}` | ||
| // | ||
| // `template <QL_CONCEPT_OR_TYPENAME(ql::same_as<int>) T> void f(){...}` | ||
| // | ||
| // NOTE: The macros are variadic to allow for commas in the argument, like in | ||
| // the second example above. | ||
|
|
||
| #ifdef QLEVER_CPP_17 | ||
| #define QL_CONCEPT_OR_NOTHING(...) | ||
| #define QL_CONCEPT_OR_TYPENAME(...) typename | ||
| #else | ||
| #define QL_CONCEPT_OR_NOTHING(...) __VA_ARGS__ | ||
| #define QL_CONCEPT_OR_TYPENAME(...) __VA_ARGS__ | ||
| #endif | ||
|
|
||
| // The namespace `ql::concepts` includes concepts that are contained in the | ||
| // C++20 standard as well as in `range-v3`. | ||
| namespace ql { | ||
| namespace concepts { | ||
|
|
||
| #ifdef QLEVER_CPP_17 | ||
| using namespace ::concepts; | ||
| #else | ||
| using namespace std; | ||
| #endif | ||
|
|
||
| } // namespace concepts | ||
| } // namespace ql |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.