private void button2_Click(object sender, EventArgs e)
{
if (engine == null)
{
CreateEngine();
}
engine.FindAllFacts();
textBox1.Text = engine.LogText;
button1_Click(sender, e);
}
private void button4_Click(object sender, EventArgs e)
{
using (StreamReader sr = new StreamReader("rules.txt"))
{
RI = new RuleInterpreter(sr.ReadToEnd());
textBox1.Text = RI.ToString();
Context context = new Context(new TestDeclares(), new TestOperations(), new TestSetters(), new Interpreter.BaseContext.BaseConstants());
InferenceEngine engine = new InferenceEngine(RI, context, factPool);
engine.FindAllFacts();
string res = "";
for (int i = 0; i <= 200; ++i)
{
if (factPool.isDiagnal[i])
{
res += i.ToString() + " ";
}
}
textBox1.Text += engine.LogText;
MessageBox.Show(res);
}
}