Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
IsSymmetric.h
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 <alib/set>
27#include <alib/pair>
28
29namespace relation {
30
35public:
45 template < class T >
46 static bool isSymmetric ( const ext::set < ext::pair < T, T > > & relation );
47};
48
49template < class T >
51 for ( const ext::pair < T, T > & item : relation )
52 if ( ! relation.contains ( ext::make_pair ( item.second, item.first ) ) )
53 return false;
54
55 return true;
56}
57
58} /* namespace relation */
59
Class extending the pair class from the standard library. Original reason is to allow printing of the...
Definition: pair.hpp:43
Definition: set.hpp:44
Definition: IsSymmetric.h:34
static bool isSymmetric(const ext::set< ext::pair< T, T > > &relation)
Definition: IsSymmetric.h:50
constexpr auto make_pair(T1 &&x, T2 &&y)
Definition: pair.hpp:79
Definition: InducedEquivalence.h:29