NFunction Struct Reference

Public interface of class 'NFunction'. More...

#include <NFunction.h>

Related Functions
(Note that these are not member functions.)
NFunction_ptr	NFunction_copy (NFunction_ptr self)
	The NFunction class copy.
NFunction_ptr	NFunction_create_interpreted (int num_args, SymbType_ptr *args, SymbType_ptr ret, void *body)
	The NFunction class constructor.
NFunction_ptr	NFunction_create_uninterpreted (int num_args, SymbType_ptr *args, SymbType_ptr ret)
	The NFunction class constructor.
void	NFunction_destroy (NFunction_ptr self)
	The NFunction class destructor.
NodeList_ptr	NFunction_get_args (NFunction_ptr self)
	The NFunction args field getter.
int	NFunction_get_args_number (NFunction_ptr self)
	The NFunction args_number field getter.
void *	NFunction_get_body (NFunction_ptr self)
	The NFunction body field getter.
SymbType_ptr	NFunction_get_main_type (NFunction_ptr self)
	The NFunction main_type field getter.
SymbType_ptr	NFunction_get_return_type (NFunction_ptr self)
	The NFunction return_type field getter.
boolean	NFunction_is_uninterpreted (NFunction_ptr self)
	The NFunction is_uninterpreted field getter.

---

Detailed Description

Public interface of class 'NFunction'.

Author:

Alessandro Mariotti

Todo:

: Missing description

Definition of the public accessor for class NFunction

---

Friends And Related Function Documentation

NFunction_ptr NFunction_copy

(

NFunction_ptr

self

)

[related]

The NFunction class copy.

The NFunction class copy

See also:

NFunction_create, NFunction_destroy

NFunction_ptr NFunction_create_interpreted	(	int	num_args,
		SymbType_ptr *	args,
		SymbType_ptr	ret,
		void *	body
	)			[related]

The NFunction class constructor.

The NFunction class constructor

See also:

NFunction_destroy

NFunction_ptr NFunction_create_uninterpreted	(	int	num_args,
		SymbType_ptr *	args,
		SymbType_ptr	ret
	)			[related]

The NFunction class constructor.

AutomaticStart

The NFunction class constructor

See also:

NFunction_destroy

void NFunction_destroy

(

NFunction_ptr

self

)

[related]

The NFunction class destructor.

The NFunction class destructor

See also:

NFunction_create

NodeList_ptr NFunction_get_args

(

NFunction_ptr

self

)

[related]

The NFunction args field getter.

The NFunction args field getter

See also:

NFunction_set_args

int NFunction_get_args_number

(

NFunction_ptr

self

)

[related]

The NFunction args_number field getter.

The NFunction args_number field getter

See also:

NFunction_set_args_number

void * NFunction_get_body

(

NFunction_ptr

self

)

[related]

The NFunction body field getter.

The NFunction body field getter

SymbType_ptr NFunction_get_main_type

(

NFunction_ptr

self

)

[related]

The NFunction main_type field getter.

The NFunction main_type field getter

SymbType_ptr NFunction_get_return_type

(

NFunction_ptr

self

)

[related]

The NFunction return_type field getter.

The NFunction return_type field getter

See also:

NFunction_set_return_type

boolean NFunction_is_uninterpreted

(

NFunction_ptr

self

)

[related]

The NFunction is_uninterpreted field getter.

The NFunction is_uninterpreted field getter

---

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

• NuSMV/code/nusmv/core/compile/symb_table/NFunction.h