Searched refs:addclosure (Results 1 – 1 of 1) sorted by relevance
178 addclosure(state, base)180 def addclosure(state, base): function187 addclosure(next, base)194 addclosure(next, arcs.setdefault(label, {}))