CBMC
Loading...
Searching...
No Matches
smt_responses.def File Reference

This set of definitions is used as part of the X-macro pattern. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Detailed Description

This set of definitions is used as part of the X-macro pattern.

These define the set of responses which are implemented and it is used to automate repetitive parts of the implementation. These include -

  • The constant irep_idts used to identify each of the response classes.
  • The public base classes used for implementing down casting.

Definition in file smt_responses.def.