cprover
|
#include <smt_terms.h>
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 |
Definition at line 186 of file smt_terms.h.
|
inlineexplicitnoexcept |
Definition at line 193 of file smt_terms.h.
|
inline |
Definition at line 200 of file smt_terms.h.
|
inline |
Definition at line 212 of file smt_terms.h.
|
private |
Definition at line 189 of file smt_terms.h.