public void AddNonTerminalToLandingSites(string nonTerminal) { if (!LandingSites.Contains(nonTerminal)) { LandingSites.Add(nonTerminal); } }
public void RemoveNonTerminalFromLandingSites(string nonTerminal) { if (!LandingSites.Contains(nonTerminal)) { return; } LandingSites.Remove(nonTerminal); }