ilang::smt::smt_file Struct Reference

the class that holds the whole file More...

#include <smt_ast.h>

Public Member Functions
std::string	toString () const
	output to string

Public Attributes
std::vector< smt_item_ptr >	items
	collection of smt_items
datatypes_t	datatypes
	the data types include in the smt_file
data_type_order_t	data_type_order

Detailed Description

the class that holds the whole file

Member Data Documentation

data_type_order_t ilang::smt::smt_file::data_type_order

the order that the datatypes are declared it is also the module hierarchy order

---

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

• smt_ast.h