cprover
config.h File Reference
#include <list>
#include "ieee_float.h"
#include "irep.h"
#include "optional.h"
+ Include dependency graph for config.h:

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
 

Variable Documentation

◆ config

configt config
extern

Definition at line 24 of file config.cpp.