BtorDumperConfig Struct Reference

Public Member Functions
	BtorDumperConfig ()

Data Fields
bool	subckt_mode
bool	conn_mode
bool	impltf_mode
std::string	buf_type
std::string	buf_in
std::string	buf_out
std::string	true_type
std::string	true_out
std::string	false_type
std::string	false_out

Detailed Description

Definition at line 36 of file btor.cc.

Constructor & Destructor Documentation

BtorDumperConfig::BtorDumperConfig ( )

inline

Definition at line 45 of file btor.cc.

: subckt_mode(false), conn_mode(false), impltf_mode(false) { }

Field Documentation

std::string BtorDumperConfig::buf_in

Definition at line 42 of file btor.cc.

std::string BtorDumperConfig::buf_out

Definition at line 42 of file btor.cc.

std::string BtorDumperConfig::buf_type

Definition at line 42 of file btor.cc.

bool BtorDumperConfig::conn_mode

Definition at line 39 of file btor.cc.

std::string BtorDumperConfig::false_out

Definition at line 43 of file btor.cc.

std::string BtorDumperConfig::false_type

Definition at line 43 of file btor.cc.

bool BtorDumperConfig::impltf_mode

Definition at line 40 of file btor.cc.

bool BtorDumperConfig::subckt_mode

Definition at line 38 of file btor.cc.

std::string BtorDumperConfig::true_out

Definition at line 43 of file btor.cc.

std::string BtorDumperConfig::true_type

Definition at line 43 of file btor.cc.

---

The documentation for this struct was generated from the following file:

• btor.cc