Example #1
0
/*
 * Function: DTrans
 */
        public DTrans(Spec s, Dfa dfa)
        {
            dtrans = new int[s.dtrans_ncols];
            label  = s.dtrans_list.Count;
            accept = dfa.GetAccept();
            anchor = dfa.GetAnchor();
        }