protected void HandleExpectedNewFact(NewFactEventArgs nfea) { if ((deductionsToCheck != null) && (Array.IndexOf(deductionsToCheck, nfea.Fact.ToString(false))<0)) { wrongDeduction = true; Console.Error.WriteLine("* Wrongly Deducted: {0} @ {1} !!! !!!", nfea.Fact, deductionChecker); } deductionChecker++; }
private void AssertFactHandlerWithContext(NewFactEventArgs nfea) { newFactEventCount++; string label = nfea.Context.Implication.Label; if (label == "Asserting Implication") { Assert.AreEqual("((trigger{whatever}))", Misc.IListToString(nfea.Context.Facts)); } else if (label == "Counting Implication") { Assert.AreEqual("((toCount{a}),(toCount{b}),(toCount{c}))", Misc.IListToString(nfea.Context.Facts)); } else { Assert.Fail("Unexpected implication label: " + label); } }
private void ModifyFactHandlerWithContext(NewFactEventArgs nfea) { modifyFactEventCount++; Assert.AreEqual("Modifying Implication", nfea.Context.Implication.Label); Assert.AreEqual("((toModify{whatever}))", Misc.IListToString(nfea.Context.Facts)); }
private void EventHandlerWithoutContext(NewFactEventArgs nfea) { factEventCount++; Assert.IsNull(nfea.Context); }
private void RetractFactHandlerWithContext(NewFactEventArgs nfea) { deleteFactEventCount++; Assert.AreEqual("Retracting Implication", nfea.Context.Implication.Label); Assert.AreEqual("((trigger{whatever}))", Misc.IListToString(nfea.Context.Facts)); }
protected void HandleOrderedNewFact(NewFactEventArgs nfea) { if ((deductionsToCheck != null) && (deductionsToCheck[deductionChecker] != nfea.Fact.ToString(false))) { wrongDeduction = true; Console.Error.WriteLine("* Wrongly Deducted: {0} @ {1}, Expected: {2}", nfea.Fact, deductionChecker, deductionsToCheck[deductionChecker]); } deductionChecker++; }
protected void HandleNewFactEvent(NewFactEventArgs nfea) { if (Logger.IsInferenceEngineVerbose) Logger.InferenceEngineSource.TraceEvent(TraceEventType.Verbose, 0, "+ Deducted: " + nfea.Fact); deducted++; }
protected void HandleModifiedFactEvent(NewFactEventArgs nfea) { if (Logger.IsInferenceEngineVerbose) Logger.InferenceEngineSource.TraceEvent(TraceEventType.Verbose, 0, "* Modified: " + nfea.Fact + " -> " + nfea.OtherFact); modified++; }
protected void ShowAllNewFacts(NewFactEventArgs nfea) { deducted++; }
private void HandleNewFactEvent(NewFactEventArgs nfea) { Console.WriteLine("* Deducted: {0}", nfea.Fact); }
private void NewFactHandler(NewFactEventArgs nfea) { if (nfea.Fact.Type == "WeightError") { ((PhysicalObject)nfea.Fact.GetPredicateValue(0)).HasErrors = true; } }