cprover
|
Go to the source code of this file.
Classes | |
class | configt |
Globally accessible architectural configuration. More... | |
struct | configt::ansi_ct |
struct | configt::cppt |
struct | configt::verilogt |
struct | configt::javat |
struct | configt::bv_encodingt |
Variables | |
configt | config |
|
extern |
Definition at line 24 of file config.cpp.