public void AddMoveable(string symbol) { if (!Moveables.Contains(symbol)) { Moveables.Add(symbol); } }
public void RemoveMoveable(string nonTerminal) { if (!Moveables.Contains(nonTerminal)) { return; } Moveables.Remove(nonTerminal); }