node_ptr Struct Reference

The node data structure. More...

#include <NodeMgr.h>

Data Fields

void * extra_data
node_val left
int lineno
struct nodelink
node_val right
short int type

Detailed Description

The node data structure.

This data structure allows the implementation of a lisp like s-expression.


Field Documentation

void* node_ptr::extra_data
node_val node_ptr::left
int node_ptr::lineno
struct node* node_ptr::link [read]
node_val node_ptr::right
short int node_ptr::type

The documentation for this struct was generated from the following file:
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

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