CBMC
Public Member Functions | Private Attributes | List of all members
smt_function_application_termt::factoryt< functiont > Class Template Reference

#include <smt_terms.h>

+ Inheritance diagram for smt_function_application_termt::factoryt< functiont >:

Public Member Functions

template<typename... function_type_argument_typest>
 factoryt (function_type_argument_typest &&... arguments) noexcept
 
template<typename... argument_typest>
smt_function_application_termt operator() (argument_typest &&... arguments) const
 
template<typename... argument_typest>
response_or_errort< smt_termt > validation (argument_typest &&... arguments) const
 

Private Attributes

functiont function
 

Detailed Description

template<typename functiont>
class smt_function_application_termt::factoryt< functiont >

Definition at line 185 of file smt_terms.h.

Constructor & Destructor Documentation

◆ factoryt()

template<typename functiont >
template<typename... function_type_argument_typest>
smt_function_application_termt::factoryt< functiont >::factoryt ( function_type_argument_typest &&...  arguments)
inlineexplicitnoexcept

Definition at line 192 of file smt_terms.h.

Member Function Documentation

◆ operator()()

template<typename functiont >
template<typename... argument_typest>
smt_function_application_termt smt_function_application_termt::factoryt< functiont >::operator() ( argument_typest &&...  arguments) const
inline

Definition at line 199 of file smt_terms.h.

◆ validation()

template<typename functiont >
template<typename... argument_typest>
response_or_errort<smt_termt> smt_function_application_termt::factoryt< functiont >::validation ( argument_typest &&...  arguments) const
inline

Definition at line 211 of file smt_terms.h.

Member Data Documentation

◆ function

template<typename functiont >
functiont smt_function_application_termt::factoryt< functiont >::function
private

Definition at line 188 of file smt_terms.h.

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