ParserAp Struct Reference

The header file of ParserAp class. More...

#include <ParserAp.h>

Related Functions
(Note that these are not member functions.)
void	parser_ap_add (ParserAp_ptr self, node_ptr ap)
	The private header file of ParserAp class.
node_ptr	parser_ap_mk_ap (ParserAp_ptr self, node_ptr label, node_ptr ap)
ParserAp_ptr	ParserAp_create (const NuSMVEnv_ptr env)
void	ParserAp_destroy (ParserAp_ptr self)
NodeList_ptr	ParserAp_get_ap_list (const ParserAp_ptr self)
	Returns the list of ap read by the parser.
void	ParserAp_parse_from_file (ParserAp_ptr self, FILE *f)
void	ParserAp_parse_from_string (ParserAp_ptr self, const char *str)
void	ParserAp_reset (ParserAp_ptr self)

Detailed Description

The header file of ParserAp class.

The private header file of ParserAp class.

ParserAp_ptr ParserAp_create ( const NuSMVEnv_ptr env ) [related]

void ParserAp_destroy ( ParserAp_ptr self ) [related]

NodeList_ptr ParserAp_get_ap_list ( const ParserAp_ptr self ) [related]

Returns the list of ap read by the parser.

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

void ParserAp_parse_from_file	(	ParserAp_ptr	self,
		FILE *	f
	)			`[related]`

void ParserAp_parse_from_string	(	ParserAp_ptr	self,
		const char *	str
	)			`[related]`

void ParserAp_reset ( ParserAp_ptr self ) [related]

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