Microsoft.Automata.Z3.RankedAlphabet.MkAcceptorRule C# (CSharp) Метод

Документация по классу RankedAlphabet Показать файл Открыть проект

MkAcceptorRule() публичный Метод

Make a new acceptor rule where k = lookahead.Length is the rank of the symbol with guard=true.

public MkAcceptorRule ( int state, string symbol ) : TreeRule
state	int	top state of the rule
symbol	string	symbol of the alphabet
Результат	TreeRule

        public TreeRule MkAcceptorRule(int state, string symbol, params int[] lookahead)
        {
            int[][] botStateSets = Array.ConvertAll(lookahead, b => (b == -1 ? null : new int[] { b }));
            return MkAcceptorRule(state, symbol, tt.Z.True, botStateSets);
        }

Same methods

RankedAlphabet::MkAcceptorRule ( int state, string symbol, Expr guard ) : TreeRule
RankedAlphabet::MkAcceptorRule ( int state, string symbol, Expr guard, int lookahead ) : TreeRule
RankedAlphabet::MkAcceptorRule ( int state, string symbol, int lookahead ) : TreeRule