Searched refs:MAX_TIME_PER_DFA_CREATION (Results 1 – 2 of 2) sorted by relevance
333 DFA.MAX_TIME_PER_DFA_CREATION = Integer.parseInt(args[i]); in processArgs()1212 return DFA.MAX_TIME_PER_DFA_CREATION;
60 public static int MAX_TIME_PER_DFA_CREATION = 1*1000; field in DFA