annotate Implab/Automaton/IDFATableBuilder.cs @ 182:76e8f2ba12b8 ref20160224

pretty print DFA, the minimization is still buggy
author cin
date Thu, 24 Mar 2016 18:52:10 +0300
parents 8fb9c9507a26
children
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);
182
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
13
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
14 /// <summary>
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
15 /// Increases if needed the input alphabet size to hold the specified symbol.
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
16 /// </summary>
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
17 /// <remarks>
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
18 /// <code>
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
19 /// AlphabetSize = Math.Max(AlphabetSize, symbol + 1)
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
20 /// </code>
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
21 /// </remarks>
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
22 /// <param name="symbol">Symbol.</param>
76e8f2ba12b8 pretty print DFA, the minimization is still buggy
cin
parents: 168
diff changeset
23 void AddSymbol(int symbol);
165
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
24 }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
25 }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
26