Logo Search packages:      
Sourcecode: lttoolbox version File versions  Download package

bool State::isFinal ( set< Node * > const &  finals  )  const

Returns true if at least one record of the state references a final node of the set

Parameters:
finals set of final nodes
Returns:
if the state is final

Definition at line 236 of file State.C.

References state.

{  
  for(multimap<Node *, vector<unsigned short> *>::const_iterator it = state.begin(), 
                                                                 limit = state.end(); 
      it != limit; it++)
  {
    if(finals.find(it->first) != finals.end())
    {
      return true;
    }
  }
  
  return false;
}


Generated by  Doxygen 1.6.0   Back to index