示例#1
0
        public SpaceForm()
        {
            if (self == null)
            {
                self = this;
            }
            else
            {
                throw new Exception("Nope");
            }

            //import z this.Designer.cs
            InitializeComponent();

            //init algos
            VSAlgo.init();
            VSAlgo.resetAll();
            try
            {
                ELAlgo.init();
                ELAlgo.resetAll();
            }
            catch (Exception e)
            {
                MessageBox.Show("Nie można zainicjalizować modułu SWI-Prolog. Algorytm EBL będzie niedostępny."
                                + Environment.NewLine + Environment.NewLine + "Szczegóły: " + e.ToString(),
                                "Błąd inicjalizacji", MessageBoxButtons.OK, MessageBoxIcon.Error);
                ELAlgo.logApp("Błąd inicjalizacji, algorytm będzie niedostępny");
                SpaceForm.self.tcTabs.TabPages.Remove(SpaceForm.self.tabExpLearning);
            }

            SpaceForm.Bump();
        }
示例#2
0
 private void bVSSendQuery_Click(object sender, EventArgs e)
 {
     if (this.tbVSConceptSpace.ReadOnly)
     {
         VSAlgo.processInput(this.tbVSQuery.Text);
     }
     else
     {
         this.lVSLastCmdStatus.Text = "najpierw zablokuj definicję przestrzeni konceptowej";
     }
 }
示例#3
0
        private void lvVSHistory_SelectedIndexChanged(object sender, EventArgs e)
        {
            if (this.lvVSHistory.Items.Count == 0)
            {
                return;
            }

            foreach (int i in this.lvVSHistory.SelectedIndices)
            {
                selected = i;
                //only first, please
                break;
            }

            if (this.lvVSHistory.SelectedItems.Count == 0)
            {
                selected = this.lvVSHistory.Items.Count - 1;
            }

            VSAlgo.selectSpaceLists(selected);
        }
示例#4
0
 private void bVSReset_Click(object sender, EventArgs e)
 {
     VSAlgo.resetAll();
 }
示例#5
0
 private void bSendVSRawQuery_Click(object sender, EventArgs e)
 {
     VSAlgo.processRawInput(this.tbVSRawQuery.Text);
 }