Searched refs:used_markovs (Results 1 – 4 of 4) sorted by relevance
167 unsigned used_markovs() const { in used_markovs() function
278 write(opcode[i].used_markovs(),f); in save()