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);
}
}