ProbAssign Struct Reference

Public interface of class 'ProbAssign'. More...

#include <ProbAssign.h>

Related Functions

(Note that these are not member functions.)



ProbAssign_ptr ProbAssign_create (node_ptr assigns, node_ptr value)
 The ProbAssign class constructor.
void ProbAssign_destroy (ProbAssign_ptr self)
 The ProbAssign class destructor.
node_ptr ProbAssign_get_assigns_expr (const ProbAssign_ptr self)
 Getters for the vars assignments.
node_ptr ProbAssign_get_prob (const ProbAssign_ptr self)
 getters for the probabilistic value

Detailed Description

Public interface of class 'ProbAssign'.

Author:
Roberto Cavada
Todo:
: Missing description

Definition of the public accessor for class ProbAssign


Friends And Related Function Documentation

ProbAssign_ptr ProbAssign_create ( node_ptr  assigns,
node_ptr  value 
) [related]

The ProbAssign class constructor.

AutomaticStart

The ProbAssign class constructor

See also:
ProbAssign_destroy
void ProbAssign_destroy ( ProbAssign_ptr  self  )  [related]

The ProbAssign class destructor.

The ProbAssign class destructor

See also:
ProbAssign_create
node_ptr ProbAssign_get_assigns_expr ( const ProbAssign_ptr  self  )  [related]

Getters for the vars assignments.

node_ptr ProbAssign_get_prob ( const ProbAssign_ptr  self  )  [related]

getters for the probabilistic value


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