HrcVarDependencies Struct Reference

Public interface of class 'HrcVarDependencies'. More...

#include <HrcVarDependencies.h>

Related Functions

(Note that these are not member functions.)



void HrcVarDependencies_add_define (HrcVarDependencies_ptr self, node_ptr define)
 Add a define to the define set.
void HrcVarDependencies_add_parameter (HrcVarDependencies_ptr self, node_ptr formal, node_ptr actual)
 Adds a formal and an actual parameter.
void HrcVarDependencies_add_variable (HrcVarDependencies_ptr self, node_ptr variable)
 Add a variable to the variable set.
HrcVarDependencies_ptr HrcVarDependencies_create (NodeMgr_ptr nodemgr)
 The HrcVarDependencies class constructor.
void HrcVarDependencies_destroy (HrcVarDependencies_ptr self)
 The HrcVarDependencies class destructor.
Set_t HrcVarDependencies_get_actual_par_set (HrcVarDependencies_ptr self)
 Returns the set that contains all the actual parameters.
Set_t HrcVarDependencies_get_defines_set (HrcVarDependencies_ptr self)
 Returns the set that contains all the defines.
Set_t HrcVarDependencies_get_formal_par_set (HrcVarDependencies_ptr self)
 Returns the set that contains all the formal parameters.
NodeMgr_ptr HrcVarDependencies_get_node_manager (const HrcVarDependencies_ptr self)
 Getter for the Node Manager.
Set_t HrcVarDependencies_get_variables_set (HrcVarDependencies_ptr self)
 Returns the set that contains all the variables.
boolean HrcVarDependencies_has_formal_parameter (HrcVarDependencies_ptr self, node_ptr formal)
 Checks if formal parameter is contained in the formal_par_set.

Detailed Description

Public interface of class 'HrcVarDependencies'.

Author:
Sergio Mover Public interface of class 'HrcVarDependencies'

Definition of the public accessor for class HrcVarDependencies


Friends And Related Function Documentation

void HrcVarDependencies_add_define ( HrcVarDependencies_ptr  self,
node_ptr  define 
) [related]

Add a define to the define set.

Add a define to the define set. No checks are performed to ensure that define is really a define.

void HrcVarDependencies_add_parameter ( HrcVarDependencies_ptr  self,
node_ptr  formal,
node_ptr  actual 
) [related]

Adds a formal and an actual parameter.

void HrcVarDependencies_add_variable ( HrcVarDependencies_ptr  self,
node_ptr  variable 
) [related]

Add a variable to the variable set.

Add a variable to the variable set. No checks are performed to ensure that variable is really a variable.

HrcVarDependencies_ptr HrcVarDependencies_create ( NodeMgr_ptr  nodemgr  )  [related]

The HrcVarDependencies class constructor.

AutomaticStart

The HrcVarDependencies class constructor

See also:
HrcVarDependencies_destroy
void HrcVarDependencies_destroy ( HrcVarDependencies_ptr  self  )  [related]

The HrcVarDependencies class destructor.

The HrcVarDependencies class destructor

See also:
HrcVarDependencies_create
Set_t HrcVarDependencies_get_actual_par_set ( HrcVarDependencies_ptr  self  )  [related]

Returns the set that contains all the actual parameters.

Set_t HrcVarDependencies_get_defines_set ( HrcVarDependencies_ptr  self  )  [related]

Returns the set that contains all the defines.

Set_t HrcVarDependencies_get_formal_par_set ( HrcVarDependencies_ptr  self  )  [related]

Returns the set that contains all the formal parameters.

NodeMgr_ptr HrcVarDependencies_get_node_manager ( const HrcVarDependencies_ptr  self  )  [related]

Getter for the Node Manager.

Getter for the Node Manager

Set_t HrcVarDependencies_get_variables_set ( HrcVarDependencies_ptr  self  )  [related]

Returns the set that contains all the variables.

boolean HrcVarDependencies_has_formal_parameter ( HrcVarDependencies_ptr  self,
node_ptr  formal 
) [related]

Checks if formal parameter is contained in the formal_par_set.


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