Searched defs:mk_total (Results 1 – 4 of 4) sorted by relevance
32 typename symbolic_automata<T, M>::automaton_t* symbolic_automata<T, M>::mk_total(automaton_t& a) { in mk_total() function
1064 …instruction * instruction::mk_total(const relation_signature & sig, func_decl* pred, reg_idx tgt) { in mk_total() function in datalog::instruction