ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
esbmct::function_ref< R(Args...)> Class Template Reference

#include <irep2.h>

Public Member Functions

template<typename F, typename = std::enable_if_t< !std::is_same_v<std::decay_t<F>, function_ref> && std::is_invocable_r_v<R, F &, Args...>>>
 function_ref (F &&fn) noexcept
R operator() (Args... args) const

Constructor & Destructor Documentation

◆ function_ref()

template<typename R, typename... Args>
template<typename F, typename = std::enable_if_t< !std::is_same_v<std::decay_t<F>, function_ref> && std::is_invocable_r_v<R, F &, Args...>>>
esbmct::function_ref< R(Args...)>::function_ref ( F && fn)
inlinenoexcept

Member Function Documentation

◆ operator()()

template<typename R, typename... Args>
R esbmct::function_ref< R(Args...)>::operator() ( Args... args) const
inline

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