PPL  1.2
mp_std_bits_inlines.hh
Go to the documentation of this file.
1 /* Definitions of specializations of std:: functions and methods for
2  multi-precision types.
3  Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
4  Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
5 
6 This file is part of the Parma Polyhedra Library (PPL).
7 
8 The PPL is free software; you can redistribute it and/or modify it
9 under the terms of the GNU General Public License as published by the
10 Free Software Foundation; either version 3 of the License, or (at your
11 option) any later version.
12 
13 The PPL is distributed in the hope that it will be useful, but WITHOUT
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 for more details.
17 
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software Foundation,
20 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
21 
22 For the most up-to-date information see the Parma Polyhedra Library
23 site: http://bugseng.com/products/ppl/ . */
24 
25 #ifndef PPL_mp_std_bits_inlines_hh
26 #define PPL_mp_std_bits_inlines_hh 1
27 
28 inline void
29 swap(mpz_class& x, mpz_class& y) {
30  mpz_swap(x.get_mpz_t(), y.get_mpz_t());
31 }
32 
33 inline void
34 swap(mpq_class& x, mpq_class& y) {
35  mpq_swap(x.get_mpq_t(), y.get_mpq_t());
36 }
37 
38 #endif // !defined(PPL_mp_std_bits_inlines_hh)
void swap(Affine_Space &x, Affine_Space &y)
Swaps x with y.