Mercurial > pub > ImplabNet

comparison Implab/Automaton/IDFATableBuilder.cs @ 167:96681e9d0cea ref20160224

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sync
author cin
date Wed, 02 Mar 2016 00:20:48 +0300
parents e227e78d72e4
children 8fb9c9507a26
comparison
equal deleted inserted replaced
166:b84cdbe82e7f 167:96681e9d0cea
1 using System; 1 using System;
2 using System.Collections.Generic;
2 3
3 namespace Implab.Automaton { 4 namespace Implab.Automaton {
4 public interface IDFATableBuilder : IDFATable { 5 public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {
5 /// <summary> 6 /// <summary>
6 /// Marks the state as final. 7 /// Marks the state as final.
7 /// </summary> 8 /// </summary>
8 /// <param name="state">State.</param> 9 /// <param name="state">State.</param>
9 void MarkFinalState(int state); 10 void MarkFinalState(int state);
10 11
11 /// <summary>
12 /// Defines the transition from <paramref name="s1"/> to
13 /// <paramref name="s2"/> with input <paramref name="symbol"/>.
14 /// </summary>
15 /// <param name="s1">S1.</param>
16 /// <param name="s2">S2.</param>
17 /// <param name="symbol">Symbol.</param>
18 void DefineTransition(int s1, int s2, int symbol);
19
20 void SetInitialState(int s); 12 void SetInitialState(int s);
21 13
22 } 14 }
23 } 15 }
24 16