ParserProb Struct Reference

The header file of ParserProb class. More...

#include <ParserProb.h>

Related Functions
(Note that these are not member functions.)
void	parser_prob_add (ParserProb_ptr self, node_ptr prob)
	The private header file of ParserProb class.
node_ptr	parser_prob_mk_array (ParserProb_ptr self, node_ptr left, node_ptr right)
node_ptr	parser_prob_mk_atom (ParserProb_ptr self, const char *name)
node_ptr	parser_prob_mk_dot (ParserProb_ptr self, node_ptr left, node_ptr right)
node_ptr	parser_prob_mk_false (ParserProb_ptr self)
node_ptr	parser_prob_mk_num (ParserProb_ptr self, const int num)
node_ptr	parser_prob_mk_prob (ParserProb_ptr self, node_ptr assigns, node_ptr prob)
node_ptr	parser_prob_mk_real (ParserProb_ptr self, const char *real_text)
node_ptr	parser_prob_mk_true (ParserProb_ptr self)
node_ptr	parser_prob_mk_var_assign (ParserProb_ptr self, node_ptr var, node_ptr val)
node_ptr	parser_prob_mk_var_assigns (ParserProb_ptr self, node_ptr left, node_ptr right)
ParserProb_ptr	ParserProb_create (const NuSMVEnv_ptr env)
void	ParserProb_destroy (ParserProb_ptr self)
NodeList_ptr	ParserProb_get_prob_list (const ParserProb_ptr self)
	Returns the list of prob read by the parser.
void	ParserProb_parse_from_file (ParserProb_ptr self, FILE *f)
void	ParserProb_parse_from_string (ParserProb_ptr self, const char *str)
void	ParserProb_reset (ParserProb_ptr self)

---

Detailed Description

The header file of ParserProb class.

Author:

Roberto Cavada

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

---

Friends And Related Function Documentation

void parser_prob_add	(	ParserProb_ptr	self,
		node_ptr	prob
	)			[related]

The private header file of ParserProb class.

Author:

Roberto Cavada

Todo:

: Missing description

Todo:

node_ptr parser_prob_mk_array	(	ParserProb_ptr	self,
		node_ptr	left,
		node_ptr	right
	)			[related]

Todo:

node_ptr parser_prob_mk_atom	(	ParserProb_ptr	self,
		const char *	name
	)			[related]

Todo:

node_ptr parser_prob_mk_dot	(	ParserProb_ptr	self,
		node_ptr	left,
		node_ptr	right
	)			[related]

Todo:

node_ptr parser_prob_mk_false

(

ParserProb_ptr

self

)

[related]

Todo:

node_ptr parser_prob_mk_num	(	ParserProb_ptr	self,
		const int	num
	)			[related]

Todo:

node_ptr parser_prob_mk_prob	(	ParserProb_ptr	self,
		node_ptr	assigns,
		node_ptr	prob
	)			[related]

Todo:

node_ptr parser_prob_mk_real	(	ParserProb_ptr	self,
		const char *	real_text
	)			[related]

Todo:

node_ptr parser_prob_mk_true

(

ParserProb_ptr

self

)

[related]

Todo:

node_ptr parser_prob_mk_var_assign	(	ParserProb_ptr	self,
		node_ptr	var,
		node_ptr	val
	)			[related]

Todo:

node_ptr parser_prob_mk_var_assigns	(	ParserProb_ptr	self,
		node_ptr	left,
		node_ptr	right
	)			[related]

Todo:

ParserProb_ptr ParserProb_create

(

const NuSMVEnv_ptr

env

)

[related]

void ParserProb_destroy

(

ParserProb_ptr

self

)

[related]

NodeList_ptr ParserProb_get_prob_list

(

const ParserProb_ptr

self

)

[related]

Returns the list of prob read by the parser.

Returned list is owned by self, and should not be changed or destroyed

void ParserProb_parse_from_file	(	ParserProb_ptr	self,
		FILE *	f
	)			[related]

void ParserProb_parse_from_string	(	ParserProb_ptr	self,
		const char *	str
	)			[related]

void ParserProb_reset

(

ParserProb_ptr

self

)

[related]

---

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

• NuSMV/code/nusmv/addons_core/compass/parser/prob/ParserProb.h
• NuSMV/code/nusmv/addons_core/compass/parser/prob/ParserProb_private.h