complete the implementation of DFAState (::getAltSet)