/*************************************************************** Function: newCDfa **************************************************************/ public static CDfa newCDfa( CSpec spec ) { CDfa dfa; dfa = new CDfa(spec.m_dfa_states.size()); spec.m_dfa_states.addElement(dfa); return dfa; }
/*************************************************************** * Function: newCDfa **************************************************************/ public static CDfa newCDfa ( CSpec spec ) { CDfa dfa; dfa = new CDfa(spec.m_dfa_states.size()); spec.m_dfa_states.addElement(dfa); return(dfa); }