} //End of MakeCustom method.
//Uses MakeCustom method to construct an argument from a string.
public Argument MakeCustomArgument(string inputString)
{
var tokens = inputString.Split(' ');
var premises = new List <Premise>();
Premise conclusion;
Argument newArgument;
for (var i = 0; i < tokens.Length - 2; i++)
{
premises.Add(MakeCustom(tokens[i]));
}
//testing
/*for (var i=0; i<premises.Count;i++)
* {
* Console.WriteLine(premises[i].GetPremise());
* }*/
conclusion = MakeCustom(tokens[tokens.Length - 1]);
newArgument = new Argument(premises, conclusion);
return(newArgument);
}
public ProblemConstructor(int table, int choice)
{
argument = MakeCustomArgument(saveCloud.GetArgumentConstructorRow(table, choice));
}