vmap.h: Enables one to create maps with a virtual base class.
3 * This file is a part of LEMON, a generic C++ optimization library
5 * Copyright (C) 2003-2006
6 * Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
7 * (Egervary Research Group on Combinatorial Optimization, EGRES).
9 * Permission to use, modify and distribute this software is granted
10 * provided that this copyright notice appears in all copies. For
11 * precise terms see the accompanying LICENSE file.
13 * This software is provided "AS IS" with no warranty of any kind,
14 * express or implied, and with no claim as to its suitability for any
19 // This file contains a modified version of the enable_if library from BOOST.
20 // See the appropriate copyright notice below.
22 // Boost enable_if library
24 // Copyright 2003 © The Trustees of Indiana University.
26 // Use, modification, and distribution is subject to the Boost Software
27 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
28 // http://www.boost.org/LICENSE_1_0.txt)
30 // Authors: Jaakko Järvi (jajarvi at osl.iu.edu)
31 // Jeremiah Willcock (jewillco at osl.iu.edu)
32 // Andrew Lumsdaine (lums at osl.iu.edu)
35 #ifndef LEMON_UTILITY_H
36 #define LEMON_UTILITY_H
39 ///\brief Miscellaneous basic utilities
41 ///\todo Please rethink the organisation of the basic files like this.
42 ///E.g. this file might be merged with invalid.h.
48 /// Basic type for defining "tags". A "YES" condition for \c enable_if.
50 /// Basic type for defining "tags". A "YES" condition for \c enable_if.
54 /// \todo This should go to a separate "basic_types.h" (or something)
58 static const bool value = true;
61 /// Basic type for defining "tags". A "NO" condition for \c enable_if.
63 /// Basic type for defining "tags". A "NO" condition for \c enable_if.
68 static const bool value = false;
71 template <bool left, bool right>
72 struct _CompileTimeAnd {
73 static const bool value = false;
77 struct _CompileTimeAnd<true, true> {
78 static const bool value = true;
81 template <typename Left, typename Right>
82 struct CompileTimeAnd {
83 static const bool value =
84 _CompileTimeAnd<Left::value, Right::value>::value;
90 Wrap(const T &t) : value(t) {}
93 /**************** dummy class to avoid ambiguity ****************/
95 template<int T> struct dummy { dummy(int) {} };
97 /**************** enable_if from BOOST ****************/
99 template <bool B, class T = void>
105 struct enable_if_c<false, T> {};
107 template <class Cond, class T = void>
108 struct enable_if : public enable_if_c<Cond::value, T> {};
110 template <bool B, class T>
111 struct lazy_enable_if_c {
112 typedef typename T::type type;
116 struct lazy_enable_if_c<false, T> {};
118 template <class Cond, class T>
119 struct lazy_enable_if : public lazy_enable_if_c<Cond::value, T> {};
122 template <bool B, class T = void>
123 struct disable_if_c {
128 struct disable_if_c<true, T> {};
130 template <class Cond, class T = void>
131 struct disable_if : public disable_if_c<Cond::value, T> {};
133 template <bool B, class T>
134 struct lazy_disable_if_c {
135 typedef typename T::type type;
139 struct lazy_disable_if_c<true, T> {};
141 template <class Cond, class T>
142 struct lazy_disable_if : public lazy_disable_if_c<Cond::value, T> {};