CBMC
Loading...
Searching...
No Matches
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 >:
+ Collaboration 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 172 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 179 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 186 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 198 of file smt_terms.h.

Member Data Documentation

◆ function

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

Definition at line 175 of file smt_terms.h.

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