Searched defs:acc_trans (Results 1 – 4 of 4) sorted by relevance
113 accepting_transitions_list acc_trans; in accepting_run() local252 bool dfs(const state* target, accepting_transitions_list& acc_trans, in dfs()529 const accepting_transitions_list& acc_trans) in construct_cycle()
67 CREATE TABLE acc_trans ( table
75 CREATE TABLE acc_trans ( table