##// END OF EJS Templates
implab » ImplabNet
RSS
Fixed promise rejection when there is not specified error handler in the reaction....
Fixed promise rejection when there is not specified error handler in the reaction. FIXED SPELLING IN THE XML CONTAINER CONFIGURATION signleton->singleton Code cleanup Update tests make them working on dotnet core
cin - - Load All Authors

File last commit:

r289:95896f882995 v3.0.14 v3
r295:28af686e24f7 default
Show More
IDFATable.cs
53 lines | 1.8 KiB | text/x-csharp | CSharpLexer
/ Implab / src / Automaton / IDFATable.cs
History | Annotation | Raw |Copy content |Copy permalink
using System.Collections.Generic;
namespace Implab.Automaton {
/// <summary>
/// Полностью описывает DFA автомат, его поведение, состояние и входные символы.
/// </summary>
/// <example>
/// class MyAutomaton {
/// int m_current;
/// readonly DFAStateDescriptor<string>[] m_automaton;
/// readonly IAlphabet<MyCommands> m_commands;
///
/// public MyAutomaton(IDFADefinition&lt;MyCommands,MyStates,string&gt; definition) {
/// m_current = definition.StateAlphabet.Translate(MyStates.Initial);
/// m_automaton = definition.GetTransitionTable();
/// m_commands = definition.InputAlphabet;
/// }
///
/// // defined a method which will move the automaton to the next state
/// public void Move(MyCommands cmd) {
/// // use transition map to determine the next state
/// var next = m_automaton[m_current].transitions[m_commands.Translate(cmd)];
///
/// // validate that we aren't in the unreachable state
/// if (next == DFAConst.UNREACHABLE_STATE)
/// throw new InvalidOperationException("The specified command is invalid");
///
/// // if everything is ok
/// m_current = next;
/// }
/// }
/// </example>
public interface IDFATable : IEnumerable<AutomatonTransition> {
int StateCount {
get;
}
int AlphabetSize {
get;
}
int InitialState {
get;
}
bool IsFinalState(int s);
IEnumerable<int> FinalStates {
get;
}
}
}