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