Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
concepts.hpp
Go to the documentation of this file.
1
6/*
7 * This file is part of Algorithms library toolkit.
8 * Copyright (C) 2017 Jan Travnicek (jan.travnicek@fit.cvut.cz)
9
10 * Algorithms library toolkit is free software: you can redistribute it and/or modify
11 * it under the terms of the GNU General Public License as published by
12 * the Free Software Foundation, either version 3 of the License, or
13 * (at your option) any later version.
14
15 * Algorithms library toolkit is distributed in the hope that it will be useful,
16 * but WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 * GNU General Public License for more details.
19
20 * You should have received a copy of the GNU General Public License
21 * along with Algorithms library toolkit. If not, see <http://www.gnu.org/licenses/>.
22 */
23
24#pragma once
25
26#include <concepts>
27
28#include <ext/type_traits>
29
30namespace ext {
31
39 template < typename T, typename ... Ts >
40 concept Included = ext::is_in < T, Ts ... >::value;
41
42} /* namespace ext */
43
Concept to test whether type T is in a types pack. The trait provides field value set to true if the ...
Definition: concepts.hpp:40
Definition: sigHandler.cpp:20
std::integral_constant< bool,(std::is_same< T, Ts >::value||...) > is_in
Trait to test whether type T is in a types pack. The trait provides field value set to true if the ty...
Definition: type_traits.hpp:99