public void RemoveDefinedVariable(Variable var) { if (DefinedVariables.Contains(var)) { DefinedVariables.Remove(var); } }
public void AddDefinedVariables(params Variable[] vars) { foreach (Variable var in vars) { DefinedVariables.Add(var); } }