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>
|
inlineexplicitnoexcept |
Definition at line 179 of file smt_terms.h.
Member Function Documentation
◆ operator()()
template<typename functiont >
template<typename... argument_typest>
|
inline |
Definition at line 186 of file smt_terms.h.
◆ validation()
template<typename functiont >
template<typename... argument_typest>
|
inline |
Definition at line 198 of file smt_terms.h.
Member Data Documentation
◆ function
template<typename functiont >
|
private |
Definition at line 175 of file smt_terms.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/solvers/smt2_incremental/ast/smt_terms.h
