Exemple #1
0
        }         //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);
        }
Exemple #2
0
 public ProblemConstructor(int table, int choice)
 {
     argument = MakeCustomArgument(saveCloud.GetArgumentConstructorRow(table, choice));
 }