view Implab/Automaton/IDFATableBuilder.cs @ 260:547a2fc0d93e v3 v3.0.6

minor fixes
author cin
date Fri, 13 Apr 2018 19:14:59 +0300
parents 76e8f2ba12b8
children
line wrap: on
line source

using System;
using System.Collections.Generic;

namespace Implab.Automaton {
    public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {
        /// <summary>
        /// Marks the state as final.
        /// </summary>
        /// <param name="state">State.</param>
        void MarkFinalState(int state);

        void SetInitialState(int s);

        /// <summary>
        /// Increases if needed the input alphabet size to hold the specified symbol.
        /// </summary>
        /// <remarks>
        /// <code>
        /// AlphabetSize = Math.Max(AlphabetSize, symbol + 1)
        /// </code>
        /// </remarks>
        /// <param name="symbol">Symbol.</param>
        void AddSymbol(int symbol);
    }
}