public String toString(Vocabulary vocabulary) {if (s0 == null) {return "";}DFASerializer serializer = new DFASerializer(this, vocabulary);return serializer.toString();}

public String ToString(IVocabulary vocabulary){if (s0 == null){return "";}DFASerializer serializer = new DFASerializer(this, vocabulary);return serializer.ToString();}
