annotate Implab/Automaton/IDFATableBuilder.cs @ 168:8fb9c9507a26 ref20160224

sync
author cin
date Wed, 02 Mar 2016 19:59:16 +0300
parents 96681e9d0cea
children 76e8f2ba12b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
165
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
1 using System;
167
cin
parents: 165
diff changeset
2 using System.Collections.Generic;
165
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
3
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
4 namespace Implab.Automaton {
167
cin
parents: 165
diff changeset
5 public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {
165
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
6 /// <summary>
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
7 /// Marks the state as final.
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
8 /// </summary>
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
9 /// <param name="state">State.</param>
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
10 void MarkFinalState(int state);
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
11
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
12 void SetInitialState(int s);
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
13 }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
14 }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
15