mcrl2::utilities::skip Struct Reference

The skip operation with a variable number of arguments. More...

#include <skip.h>

Public Member Functions
template<typename... Args>
void	operator() (const Args &...) const

Detailed Description

The skip operation with a variable number of arguments.

Definition at line 20 of file skip.h.

Member Function Documentation

operator()()

template<typename... Args>

void mcrl2::utilities::skip::operator() ( const Args &  ... ) const

inline

Definition at line 23 of file skip.h.

---

The documentation for this struct was generated from the following file:

• utilities/include/mcrl2/utilities/skip.h