Mercurial > pub > ImplabNet
view Implab/Automaton/IDFATableBuilder.cs @ 212:a01d9df88d74 v2
Added class Trace<T> to manage channels for individual classes, if SomeClass
uses Trace<SomeClass> it sould be marked with TraceSourceAttribute
author | cin |
---|---|
date | Tue, 04 Apr 2017 12:04:05 +0300 |
parents | 76e8f2ba12b8 |
children |
line wrap: on
line source
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); } }