Mercurial > pub > ImplabNet
comparison Implab/Automaton/DFATable.cs @ 240:fa6cbf4d8841 v3
refactoring, moving to dotnercore, simplifying promises
author | cin |
---|---|
date | Tue, 23 Jan 2018 19:39:21 +0300 |
parents | 302ca905c19e |
children | 7c7e9ad6fe4a |
comparison
equal
deleted
inserted
replaced
239:eedf4d834e67 | 240:fa6cbf4d8841 |
---|---|
309 | 309 |
310 foreach (var t in m_transitions.Select(t => new AutomatonTransition(stateMap[t.s1],stateMap[t.s2],alphabetMap[t.edge])).Distinct()) | 310 foreach (var t in m_transitions.Select(t => new AutomatonTransition(stateMap[t.s1],stateMap[t.s2],alphabetMap[t.edge])).Distinct()) |
311 optimalDFA.Add(t); | 311 optimalDFA.Add(t); |
312 } | 312 } |
313 | 313 |
314 protected string PrintDFA<TInput, TState>(IAlphabet<TInput> inputAlphabet, IAlphabet<TState> stateAlphabet) { | 314 /*protected string PrintDFA<TInput, TState>(IAlphabet<TInput> inputAlphabet, IAlphabet<TState> stateAlphabet) { |
315 Safe.ArgumentNotNull(inputAlphabet, "inputAlphabet"); | 315 Safe.ArgumentNotNull(inputAlphabet, "inputAlphabet"); |
316 Safe.ArgumentNotNull(stateAlphabet, "stateAlphabet"); | 316 Safe.ArgumentNotNull(stateAlphabet, "stateAlphabet"); |
317 | 317 |
318 var data = new List<string>(); | 318 var data = new List<string>(); |
319 | 319 |
341 { | 341 { |
342 provider.GenerateCodeFromExpression(new CodePrimitiveExpression(input), writer, null); | 342 provider.GenerateCodeFromExpression(new CodePrimitiveExpression(input), writer, null); |
343 return writer.ToString(); | 343 return writer.ToString(); |
344 } | 344 } |
345 } | 345 } |
346 } | 346 }*/ |
347 } | 347 } |
348 } | 348 } |