NuSMV/code/nusmv/core/hrc/hrcSymbTableUtils.h File Reference

#include "nusmv/core/hrc/HrcNode.h"
#include "nusmv/core/node/node.h"
#include "nusmv/core/compile/symb_table/SymbTable.h"
#include "nusmv/core/compile/symb_table/SymbLayer.h"

Go to the source code of this file.

Functions
void	hrc_symb_table_utils_populate_symb_table (SymbTable_ptr symb_table, SymbLayer_ptr symb_layer, HrcNode_ptr node, node_ptr context)
	Header of hrcSymbTableUtils.c.

---

Function Documentation

void hrc_symb_table_utils_populate_symb_table	(	SymbTable_ptr	symb_table,
		SymbLayer_ptr	symb_layer,
		HrcNode_ptr	node,
		node_ptr	context
	)

Header of hrcSymbTableUtils.c.

Author:

Sergio Mover

Todo:

: Missing description

AutomaticStart