ilang::smt::state_var_t Struct Reference

and item in declare-datatype More...

#include <smt_ast.h>

Static Public Member Functions
static state_var_t	ParseFromString (str_iterator &, const std::string &default_module_name)
	contruct from

Public Attributes
std::string	internal_name
	|module_name|...
std::string	module_name
	module_name
std::string	verilog_name
	verilog name (not including )
var_type	_type
	its type

Detailed Description

and item in declare-datatype

---

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

• smt_ast.h