ParserIdList Struct Reference

The header file of ParserIdList class. More...

#include <ParserIdList.h>

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.

Author:
Roberto Cavada
Todo:
: Missing description
Todo:
Missing synopsis
Todo:
Missing description

Friends And Related Function Documentation

void parser_id_list_add_id ( ParserIdList_ptr  self,
node_ptr  name 
) [related]

The private header file of ParserIdList class.

Author:
Roberto Cavada
Todo:
: Missing description
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]
node_ptr parser_id_list_mk_bit ( ParserIdList_ptr  self,
node_ptr  left,
int  suffix 
) [related]
node_ptr parser_id_list_mk_dot ( ParserIdList_ptr  self,
node_ptr  l,
node_ptr  r 
) [related]
node_ptr parser_id_list_mk_num ( ParserIdList_ptr  self,
const int  num 
) [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:
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1