cprover
|
#include <smt_terms.h>
Public Member Functions | |
template<typename... function_type_argument_typest> | |
factoryt (function_type_argument_typest &&... arguments) | |
template<typename... argument_typest> | |
smt_function_application_termt | operator() (argument_typest &&... arguments) const |
Private Attributes | |
functiont | function |
Definition at line 129 of file smt_terms.h.
|
inlineexplicit |
Definition at line 136 of file smt_terms.h.
|
inline |
Definition at line 143 of file smt_terms.h.
|
private |
Definition at line 132 of file smt_terms.h.