#include "smt_responses.h"
#include <util/range.h>
#include "smt_responses.def"
Go to the source code of this file.
◆ RESPONSE_ID [1/2]
#define RESPONSE_ID |
( |
| the_id, |
|
|
| the_base ) |
Value: const irep_idt ID_smt_##the_id##_response{
"smt_" #the_id
"_response"};
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition at line 8 of file smt_responses.cpp.
◆ RESPONSE_ID [2/2]
#define RESPONSE_ID |
( |
| the_id, |
|
|
| the_base ) |
Value: template <> \
const smt_##the_id##_responset *the_base::cast<smt_##the_id##_responset>() \
const & \
{ \
return id() == ID_smt_##the_id##_response \
? static_cast<const smt_##the_id##_responset *>(this) \
: nullptr; \
}
Definition at line 8 of file smt_responses.cpp.