namespace Implab.Automaton {
    public struct DFAStateDescriptior {
        public readonly bool final;
        public readonly int[] transitions;


        public DFAStateDescriptior(int[] transitions, bool final) {
            this.transitions = transitions;
            this.final = final;
        }

        public DFAStateDescriptior(int[] transitions) : this(transitions, false) {
        }
    }
}