private void cboManual_SelectedIndexChanged(object sender, EventArgs e) { if (string.IsNullOrEmpty(cboP1.Text) || string.IsNullOrEmpty(cboP2.Text) || string.IsNullOrEmpty(cboC.Text) || string.IsNullOrEmpty(cboType.Text)) { return; } var sb = new StringBuilder(); var q = new char[3]; q[0] = cboP1.Text[0]; q[1] = cboP2.Text[0]; q[2] = cboC.Text[0]; var type = int.Parse(cboType.Text); var syl = new Syllogism(q, type); var strSyl = Syllogism.GenerateSyllogism(type, q, txtS.Text, txtP.Text, txtM.Text); sb.AppendLine(syl.ToString()); sb.AppendLine(); sb.AppendLine(strSyl); if (syl.IsValid) { sb.AppendLine("HỢP LỆ"); } else { sb.AppendLine("KHÔNG HỢP LỆ"); } txtManualResult.Text = sb.ToString(); }
public void Can_init_correct_syllogism() { var s = new Syllogism("PPE".ToCharArray(), 1); var str = s.ToString(); Console.WriteLine(str); }
private void btnGenerateAllValid_Click(object sender, EventArgs e) { var sb = new StringBuilder(); foreach (var pattern in _patterns) { sb.AppendLine(pattern.ToString()); var s = Syllogism.GenerateSyllogism(pattern.Type, pattern.Content, txtS.Text, txtP.Text, txtM.Text); sb.AppendLine(s); } txtAutoResult.Text = sb.ToString(); }
private void initRepo() { var types = "AEPBTDKGIO".ToCharArray(); for (int i = 0; i < types.Length; i++) { for (int j = 0; j < types.Length; j++) { for (int k = 0; k < types.Length; k++) { for (int t = 0; t < 4; t++) { var content = new char[] { types[i], types[j], types[k] }; var s = new Syllogism(content, t + 1); if (s.IsValid) { _patterns.Add(s); } } } } } }