Mercurial > pub > ImplabNet
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); } }