Logo Search packages:      
Sourcecode: lttoolbox version File versions

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

finals set of final nodes
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