config.h File Reference

#include <list>
#include "ieee_float.h"
#include "irep.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

Definition at line 24 of file config.cpp.