Searched refs:UpdateNumKnownStates (Results 1 – 1 of 1) sorted by relevance
428 void UpdateNumKnownStates(StateId s) { in UpdateNumKnownStates() function680 impl_->UpdateNumKnownStates(aiter.Value().nextstate); in Done()