Searched defs:Automata (Results 1 – 1 of 1) sorted by relevance
31 TEST(Automata, SimpleAutomatonAcceptsFromInitialState) { in TEST() argument42 TEST(Automata, SimpleAutomatonAcceptsSequences) { in TEST() argument60 TEST(Automata, TupleAutomatonAccepts) { in TEST() argument76 TEST(Automata, NfaAutomatonAccepts) { in TEST() argument100 TEST(Automata, BinPackerAutomatonAccepts) { in TEST() argument131 TEST(Automata, BinPackerAutomatonExplains) { in TEST() argument