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;
}
}
