Mercurial > pub > ImplabNet

annotate Implab/Automaton/IDFATableBuilder.cs @ 187:dd4a3590f9c6 ref20160224

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reworked cancelation handling, if the cancel handler isn't specified the OperationCanceledException will be handled by the error handler Any unhandled OperationCanceledException will cause the promise cancelation
author cin
date Tue, 19 Apr 2016 17:35:20 +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