ilang::smt::arg_t Struct Reference

argument used in a function def More...

#include <smt_ast.h>

Public Member Functions
	arg_t (const std::string &, const var_type &)
std::string	toString () const

Static Public Member Functions
static std::string	toString (const std::vector< arg_t > &va)
	translate a whole arg to text
static arg_t	ParseFromString (str_iterator &)
	construct from input string

Public Attributes
std::string	arg_name
	argument's name // from internal name
var_type	arg_type
	arg type // from the type

Detailed Description

argument used in a function def

---

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

• smt_ast.h