cprover
|
Go to the source code of this file.
Macros | |
#define | RESPONSE_ID(the_id, the_base) |
#define | RESPONSE_ID(the_id, the_base) |
#define RESPONSE_ID | ( | the_id, | |
the_base ) |
Definition at line 8 of file smt_responses.cpp.
#define RESPONSE_ID | ( | the_id, | |
the_base ) |
Definition at line 8 of file smt_responses.cpp.