projects/mpiAnalysis/simpleStaticMarking/src/nonDetAnalysis.h
void initialize()
  {
    if(!initialized_)
    {
      initialized_ = true;
      dependent_ = false;
      non_det_function_node_ = NULL;
    }
  }
// initializes this Lattice to its default state, if it is not already initialized
initializes this Lattice to its default state, if it is not already initialized
initializes this Lattice to its default state if it is not already initialized
void initialize()
  {
    if(!initialized_)
    {
      initialized_ = true;
      dependent_ = false;
      non_det_function_node_ = NULL;
    }
  }
void initialize ( ) { if ( ! initialized_ ) { initialized_ = true ; dependent_ = false ; non_det_function_node_ = NULL ; } }
initializes this Lattice to its default state, if it is not already initialized
initializes this Lattice to its default state if it is not already initialized