##// END OF EJS Templates
added Safe.DispatchEvent() a legacy equivalent for '?.Invoke()'...
added Safe.DispatchEvent() a legacy equivalent for '?.Invoke()' added Safe.Dispose(IEnumerable) added PromiseExtensions.CancellationPoint to add a cancellation point to the chain of promises added IPromise<T> PromiseExtensions.Then<T>(this IPromise<T> that, Action<T> success) overloads added PromiseExtensions.Error() overloads to handle a error or(and) a cancellation

File last commit:

r182:76e8f2ba12b8 ref20160224
r207:558f34b2fb50 v2
Show More
IDFATableBuilder.cs
26 lines | 747 B | text/x-csharp | CSharpLexer
using System;
using System.Collections.Generic;
namespace Implab.Automaton {
public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {
/// <summary>
/// Marks the state as final.
/// </summary>
/// <param name="state">State.</param>
void MarkFinalState(int state);
void SetInitialState(int s);
/// <summary>
/// Increases if needed the input alphabet size to hold the specified symbol.
/// </summary>
/// <remarks>
/// <code>
/// AlphabetSize = Math.Max(AlphabetSize, symbol + 1)
/// </code>
/// </remarks>
/// <param name="symbol">Symbol.</param>
void AddSymbol(int symbol);
}
}