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 }