/***************************************************************
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);
}