Mercurial > pub > ImplabNet

annotate Implab/Automaton/IDFATableBuilder.cs @ 196:40d7fed4a09e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed promise chaining behavior, the error handler doesn't handle result or cancellation handlers exceptions these exceptions are propagated to the next handlers.
author cin
date Mon, 29 Aug 2016 23:15:51 +0300
parents 76e8f2ba12b8
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