node_val Union Reference

Possible value that a node can assume. More...

#include <NodeMgr.h>

Data Fields
void *	bddtype
int	inttype
struct node *	nodetype
struct string_ *	strtype

---

Detailed Description

Possible value that a node can assume.

The value of a node is generic. It may be an integer, a pointer to a node, a pointer to a string_ structure or a pointer to an ADD or BDD. This in order to have a behavior lisp like, in which a variable may be a n integer, an atom or a list.

See also:

string_

---

Field Documentation

void* node_val::bddtype

int node_val::inttype

struct node* node_val::nodetype [read]

struct string_* node_val::strtype [read]

---

The documentation for this union was generated from the following file:

• NuSMV/code/nusmv/core/node/NodeMgr.h