public string ToDfaStateString(int dfaStateIndex) { return(_dfaStateToBlockState[dfaStateIndex].Select(s => _renamer.ToDfaStateString(s)).ToVectorString()); }
public string GetStateLabel(int state, string sep) { return(_renamer.ToDfaStateString(state)); }