view Implab/Automaton/IDFATableBuilder.cs @ 166:b84cdbe82e7f ref20160224

sync
author cin
date Mon, 29 Feb 2016 18:41:01 +0300
parents e227e78d72e4
children 96681e9d0cea
line wrap: on
line source

using System;

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

        /// <summary>
        /// Defines the transition from <paramref name="s1"/> to
        /// <paramref name="s2"/> with input <paramref name="symbol"/>.
        /// </summary>
        /// <param name="s1">S1.</param>
        /// <param name="s2">S2.</param>
        /// <param name="symbol">Symbol.</param>
        void DefineTransition(int s1, int s2, int symbol);

        void SetInitialState(int s);

    }
}