C# (CSharp) ARMC SSAException.StateNotInStates示例

示例#1

文件： SSA.cs 项目： matejchalk/ARMC

        public SSA <SYMBOL> BackwardStateLanguage(int state)
        {
            if (!States.Contains(state))
            {
                throw SSAException.StateNotInStates();
            }

            return(new SSA <SYMBOL>(InitialState, new int[] { state }, Moves, Alphabet, null, StateNames));
        }

示例#2

文件： SSA.cs 项目： matejchalk/ARMC

        public SSA <SYMBOL> ForwardStateLanguage(int state)
        {
            if (!States.Contains(state))
            {
                throw SSAException.StateNotInStates();
            }

            return(new SSA <SYMBOL>(state, FinalStates, Moves, Alphabet, null, StateNames));
        }