ParserOrd Struct Reference
The header file of ParserOrd class.
More...
#include <ParserOrd.h>
Related Functions |
(Note that these are not member functions.)
|
| void | parser_ord_add_var (ParserOrd_ptr self, node_ptr var) |
| | The private header file of ParserOrd class.
|
| node_ptr | parser_ord_mk_array (ParserOrd_ptr self, node_ptr l, node_ptr r) |
| node_ptr | parser_ord_mk_atom (ParserOrd_ptr self, const char *name) |
| node_ptr | parser_ord_mk_bit (ParserOrd_ptr self, node_ptr l, int suffix) |
| node_ptr | parser_ord_mk_dot (ParserOrd_ptr self, node_ptr l, node_ptr r) |
| node_ptr | parser_ord_mk_num (ParserOrd_ptr self, const int num) |
| ParserOrd_ptr | ParserOrd_create (const NuSMVEnv_ptr env) |
| void | ParserOrd_destroy (ParserOrd_ptr self) |
| NodeList_ptr | ParserOrd_get_vars_list (const ParserOrd_ptr self) |
| | Returns the list of variables read by the parser.
|
| void | ParserOrd_parse_from_file (ParserOrd_ptr self, FILE *f) |
| void | ParserOrd_parse_from_string (ParserOrd_ptr self, const char *str) |
| void | ParserOrd_reset (ParserOrd_ptr self) |
Detailed Description
The header file of ParserOrd class.
- Author:
- Roberto Cavada
- Todo:
- : Missing description
- Todo:
- Missing synopsis
- Todo:
- Missing description
Friends And Related Function Documentation
| void parser_ord_add_var |
( |
ParserOrd_ptr |
self, |
|
|
node_ptr |
var | |
|
) |
| | [related] |
The private header file of ParserOrd class.
- Author:
- Roberto Cavada
- Todo:
- : Missing description
| node_ptr parser_ord_mk_array |
( |
ParserOrd_ptr |
self, |
|
|
node_ptr |
l, |
|
|
node_ptr |
r | |
|
) |
| | [related] |
| node_ptr parser_ord_mk_atom |
( |
ParserOrd_ptr |
self, |
|
|
const char * |
name | |
|
) |
| | [related] |
| node_ptr parser_ord_mk_bit |
( |
ParserOrd_ptr |
self, |
|
|
node_ptr |
l, |
|
|
int |
suffix | |
|
) |
| | [related] |
| node_ptr parser_ord_mk_dot |
( |
ParserOrd_ptr |
self, |
|
|
node_ptr |
l, |
|
|
node_ptr |
r | |
|
) |
| | [related] |
| node_ptr parser_ord_mk_num |
( |
ParserOrd_ptr |
self, |
|
|
const int |
num | |
|
) |
| | [related] |
Returns the list of variables read by the parser.
Returned list is owned by self, and should not be changed or destroyed
| void ParserOrd_parse_from_file |
( |
ParserOrd_ptr |
self, |
|
|
FILE * |
f | |
|
) |
| | [related] |
| void ParserOrd_parse_from_string |
( |
ParserOrd_ptr |
self, |
|
|
const char * |
str | |
|
) |
| | [related] |
The documentation for this struct was generated from the following files:
1.6.1
