Line data Source code
1 : // Author(s): Wieger Wesselink 2 : // Copyright: see the accompanying file COPYING or copy at 3 : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING 4 : // 5 : // Distributed under the Boost Software License, Version 1.0. 6 : // (See accompanying file LICENSE_1_0.txt or copy at 7 : // http://www.boost.org/LICENSE_1_0.txt) 8 : // 9 : /// \file mcrl2/utilities/skip.h 10 : /// \brief add your file description here. 11 : 12 : #ifndef MCRL2_UTILITIES_SKIP_H 13 : #define MCRL2_UTILITIES_SKIP_H 14 : 15 : namespace mcrl2 { 16 : 17 : namespace utilities { 18 : 19 : /// \brief The skip operation with a variable number of arguments 20 : struct skip 21 : { 22 : template<typename... Args> 23 0 : void operator()(const Args&...) const {} 24 : }; 25 : 26 : } // namespace utilities 27 : 28 : } // namespace mcrl2 29 : 30 : #endif // MCRL2_UTILITIES_SKIP_H