Searched refs:kEngineDFA (Results 1 – 2 of 2) sorted by relevance
25 kEngineDFA, // Prog::SearchDFA, only ask whether it matched enumerator
214 if (Engines() & ((1<<kEngineDFA)|(1<<kEngineDFA1))) { in TestInstance()335 case kEngineDFA: in RunSearch()