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); }
public void CheckContradictionBetweenModelsAndRulebase() { Contradiction.CheckContradictionWIthModelsAndRulebase(_bases); }