示例#1
0
 /// <summary>
 /// Method will assign the stored truth value to each respective
 /// abstract proposition variable, and then recursively calculate
 /// the result.
 ///
 /// The result is assigned to the result property.
 /// </summary>
 public void Calculate()
 {
     for (int i = 0; i < uniqueVariables.Count; i++)
     {
         // Could be simplified to Cells[i] == '1';
         // Lets do that refactor after we made tests
         uniqueVariables[i].TruthValue = Cells[i] == '1' ? true : false;
     }
     Result = propositionRoot.Calculate();
 }