public override List <char> GetAllLocalArguments()
{
List <char> temp1 = con1.GetAllLocalArguments();
List <char> temp2 = con2.GetAllLocalArguments();
foreach (char c in temp2)
{
temp1.Add(c);
}
return(temp1);
}
//CALCULATE USED/AVAILABLE ARGUMENTS
private void calculateFreeArguments(Connective startCon)
{
usedArguments = startCon.GetAllLocalArguments();
availableArguments = new List <char>();
foreach (char c in SmallArguments)
{
if (!usedArguments.Contains(c))
{
availableArguments.Add(c);
}
}
}
public override List <char> GetAllLocalArguments()
{
return(con1.GetAllLocalArguments());
}