public void TestMethod1() { bases.RuleBase.ReadRules("REstudent.BED"); ConclusionClass conclusionClass = new ConclusionClass(bases, _viewModel); conclusionClass.BackwardConclude(bases.RuleBase.RulesList[3]); }
public void BackwardConcludeAction(Rule rule) { _bases.FactBase = _bases.OrginalFactBase; _bases.ArgumentBase = _bases.OrginalArgumentBase; conclusion.BackwardConclude(rule); }