public virtual void ReportIncompletelyCoveredAlts( DFAState d, IDictionary<int, ICollection<IToken>> altToLocationsReachableWithoutPredicate ) { _stateToIncompletelyCoveredAltsMap[d] = altToLocationsReachableWithoutPredicate; }