view Implab/Automaton/IDFATableBuilder.cs @ 263:711572866e0c v3

Добавлена метка v3.0.8 для набора изменений f1696cdc3d7a
author cin
date Mon, 16 Apr 2018 02:12:57 +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);
    }
}