public Form5()
{
InitializeComponent();
Es = null;
button3.Visible = false;
checked_facts = new List <SmartFact>();
}
public Form5()
{
InitializeComponent();
Es = null;
button2.Visible = false;
button3.Visible = false;
}
private void открытьToolStripMenuItem_Click(object sender, EventArgs e)
{
var filedg = new OpenFileDialog();
filedg.DefaultExt = ".json";
var result = filedg.ShowDialog();
if (result == DialogResult.OK)
{
var path = filedg.FileName;
currentEs = JsonConvert.DeserializeObject <ExpertSys>(File.ReadAllText(path));
listView1.Items.Clear();
listView2.Items.Clear();
listView3.Items.Clear();
foreach (var newrule in currentEs.rules)
{
string str = "ЕСЛИ";
int lenp = newrule.prem.Count;
for (int i = 0; i < lenp - 1; i++)
{
string varname = newrule.prem[i].variable.name;
string varvalue = newrule.prem[i].value;
str = str + " " + varname + "=" + varvalue + " И";
}
str = str + " " + newrule.prem[lenp - 1].variable.name + "=" + newrule.prem[lenp - 1].value + " ТО";
int lenc = newrule.concl.Count;
for (int i = 0; i < lenc - 1; i++)
{
string varname = newrule.concl[i].variable.name;
string varvalue = newrule.concl[i].value;
str = str + " " + varname + "=" + varvalue + " И";
}
str = str + " " + newrule.concl[lenc - 1].variable.name + "=" + newrule.concl[lenc - 1].value;
ListViewItem newitem = new ListViewItem(new string[] { newrule.name, str });
listView1.Items.Add(newitem);
}
foreach (var el in currentEs.variables)
{
string namevar = el.name;
string domvar = el.domain.name;
string typevar = "";
if (el.type == 1)
{
typevar = "Запрашиваемая";
}
else if (el.type == 2)
{
typevar = "Выводимая";
}
else if (el.type == 3)
{
typevar = "Выводимо-запрашиваемая";
}
ListViewItem item = new ListViewItem(new string[] { namevar, typevar, domvar });
listView2.Items.Add(item);
}
foreach (var el in currentEs.domains)
{
listView3.Items.Add(el.name);
}
}
}
public Form1()
{
InitializeComponent();
currentEs = new ExpertSys();
}
