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