Exemple #1
0
        public void ReadModelBase()
        {
            var fileDialog = new OpenFileDialog();

            fileDialog.ShowDialog();

            if (fileDialog.FileName != "")
            {
                _gatheredBases.ModelsBase.ModelList = new List <Model>();

                _gatheredBases.ModelsBase.ReadModels(fileDialog.FileName);
                _viewModel._currentModelBasePath        = fileDialog.FileName;
                _viewModel.ButtonsLogic.ModelBaseOpened = true;
            }
            Contradiction.CheckContradictionWIthModelsAndRulebase(_gatheredBases);
        }
Exemple #2
0
 public void CheckContradictionBetweenModelsAndRulebase()
 {
     Contradiction.CheckContradictionWIthModelsAndRulebase(_bases);
 }