ParserIdList Struct Reference

The header file of ParserIdList class. More...

Related Functions
(Note that these are not member functions.)
void	parser_id_list_add_id (ParserIdList_ptr self, node_ptr name)
	The private header file of ParserIdList class.
node_ptr	parser_id_list_mk_array (ParserIdList_ptr self, node_ptr l, node_ptr r)
node_ptr	parser_id_list_mk_atom (ParserIdList_ptr self, const char *name)
node_ptr	parser_id_list_mk_bit (ParserIdList_ptr self, node_ptr left, int suffix)
node_ptr	parser_id_list_mk_dot (ParserIdList_ptr self, node_ptr l, node_ptr r)
node_ptr	parser_id_list_mk_num (ParserIdList_ptr self, const int num)
ParserIdList_ptr	ParserIdList_create (const NuSMVEnv_ptr env)
void	ParserIdList_destroy (ParserIdList_ptr self)
NodeList_ptr	ParserIdList_get_id_list (const ParserIdList_ptr self)
	Returns the list of variables read by the parser.
void	ParserIdList_parse_from_file (ParserIdList_ptr self, FILE *f)
void	ParserIdList_parse_from_string (ParserIdList_ptr self, const char *str)
void	ParserIdList_reset (ParserIdList_ptr self)

Detailed Description

The header file of ParserIdList class.

The private header file of ParserIdList class.

node_ptr parser_id_list_mk_array	(	ParserIdList_ptr	self,
		node_ptr	l,
		node_ptr	r
	)			`[related]`

node_ptr parser_id_list_mk_atom	(	ParserIdList_ptr	self,
		const char *	name
	)			`[related]`

ParserIdList_ptr ParserIdList_create ( const NuSMVEnv_ptr env ) [related]

void ParserIdList_destroy ( ParserIdList_ptr self ) [related]

NodeList_ptr ParserIdList_get_id_list ( const ParserIdList_ptr self ) [related]

Returns the list of variables read by the parser.

Returned list is owned by self, and should not be changed or destroyed

void ParserIdList_parse_from_file	(	ParserIdList_ptr	self,
		FILE *	f
	)			`[related]`

void ParserIdList_parse_from_string	(	ParserIdList_ptr	self,
		const char *	str
	)			`[related]`

void ParserIdList_reset ( ParserIdList_ptr self ) [related]

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