3 Commits

Include renames

Author	SHA1	Message	Date
nnosov	c7e9925efe	extend to user types of parameter and initialize them. introduce ... 'typename' to parameter_info, it's C/C++ name of parameter type. rewrite parameter printing using new capabilities.	2020-04-16 18:56:40 +04:00
nnosov	f9f26f5f7d	use bitset for parameter state instead of separate boolean fields	2020-04-16 13:45:26 +04:00
nnosov	3317cd212b	exprt next_function, next_parameter function_info, parameter_info to ... external interface of the library	2020-04-05 14:59:41 +04:00