public void GetRulesForWorlds_GivenWorlds_ExpectRuleSetfor2Worlds()
{
// Arrange...
var jsonWorlds = new List <string>();
jsonWorlds.Add("{'Name':'Bob', 'Age':'40', 'Year': '2040'}");
jsonWorlds.Add("{'Name':'Bob', 'Age':'30', 'Year': '2030'}");
var sut = new DymeInferenceEvaluator(_worldReader, _worldAnalyser);
var expected = new List <IEvaluatable>();
expected.Add(If.When(ItsAFact.That("Year").Is("2040")).Then(ItsAFact.That("Age").Is("40")));
expected.Add(If.When(ItsAFact.That("Year").Is("2030")).Then(ItsAFact.That("Age").Is("30")));
expected.Add(If.When(ItsAFact.That("Year").Is("2040")).Then(ItsAFact.That("Name").Is("Bob")));
expected.Add(If.When(ItsAFact.That("Year").Is("2030")).Then(ItsAFact.That("Name").Is("Bob")));
expected.Add(If.When(ItsAFact.That("Age").Is("40")).Then(ItsAFact.That("Name").Is("Bob")));
expected.Add(If.When(ItsAFact.That("Age").Is("30")).Then(ItsAFact.That("Name").Is("Bob")));
expected.Add(If.When(ItsAFact.That("Age").Is("40")).Then(ItsAFact.That("Year").Is("2040")));
expected.Add(If.When(ItsAFact.That("Age").Is("30")).Then(ItsAFact.That("Year").Is("2030")));
// Act...
var results = sut.GetRulesForWorlds(jsonWorlds, InferenceMethod.Optimistic);
// Assert...
CollectionAssert.AreEquivalent(expected, results);
}
public void CreateRule_GivenWorlds_ExpectSimpleImply()
{
// Arrange...
var world1 = "{'Name':'Bob', 'Age':'40'}";
var sut = new DymeInferenceEvaluator(_worldReader, _worldAnalyser);
var expected = new List <IEvaluatable>();
expected.Add(If
.When(ItsAFact.That("Name").Is("Bob"))
.Then(ItsAFact.That("Age").Is("40"))
);
expected.Add(If
.When(ItsAFact.That("Age").Is("40"))
.Then(ItsAFact.That("Name").Is("Bob"))
);
// Act...
var results = sut.GetRulesForWorlds(new List <string>()
{
world1
}, InferenceMethod.Optimistic);
// Assert...
Assert.AreEqual(expected, results);
}
public void CreateRules_GivenWorlds_ExpectConjunctions()
{
// Arrange...
var jsonWorlds = new List <string>();
jsonWorlds.Add("{'planet':'Earth', 'sky':'blue', 'ground': 'soft', 'cat': 'InCharge'}");
jsonWorlds.Add("{'planet':'Pluto', 'sky':'blue', 'ground': 'soft', 'cat': 'grumpy'}");
var input = new List <Proposition>();
input.Add(ItsAFact.That("sky").Is("blue") as Proposition);
input.Add(ItsAFact.That("ground").Is("soft") as Proposition);
input.Add(ItsAFact.That("cat").Is("InCharge") as Proposition);
var expected = new List <IEvaluatable>();
expected.Add(All.Of(ItsAFact.That("sky").Is("blue")).And(ItsAFact.That("ground").Is("soft")).IsTrue());
var sut = new DymeInferenceEvaluator(_worldReader, _worldAnalyser);
// Act...
var results = sut.AsConjunctionGetAllFactsThatRepeatWhenOtherFactsRepeat(jsonWorlds, input);
// Assert...
CollectionAssert.AreEquivalent(expected, results);
}
private JsonEasyRuleEvaluator(IMetricService metricService = null)
{
_easyRuleDymeRuleSvc = new EasyRuleDymeRuleConverter();
_worldAnalyser = new JsonPathWorldAnalyser();
_worldReader = new JsonPathWorldReader();
_inferenceEngineSvc = new DymeInferenceEvaluator(_worldReader, _worldAnalyser, metricService);
_ruleEvaluatorSvc = new DymeRuleEvaluator(_worldReader);
}
public void PessimisticWorld_GivenWorlds2_ExpectRuleSet()
{
// Arrange...
var jsonWorlds = new List <string>();
jsonWorlds.Add("{'planet':'Earth', 'sky':'blue', 'ground': 'soft', 'cat': 'InCharge'}");
jsonWorlds.Add("{'planet':'Venus', 'sky':'yellow', 'ground': 'hard', 'cat': 'InCharge'}");
jsonWorlds.Add("{'planet':'Mars', 'sky':'red', 'ground': 'soft', 'cat': 'InCharge'}");
jsonWorlds.Add("{'planet':'Pluto', 'sky':'blue', 'ground': 'soft', 'cat': 'InCharge'}");
var sut = new DymeInferenceEvaluator(_worldReader, _worldAnalyser);
var expected = new List <IEvaluatable>();
expected.Add(If.When(ItsAFact.That("sky").Is("blue")).Then(ItsAFact.That("ground").Is("soft")));
// Act...
var results = sut.GetRulesForWorlds(jsonWorlds, InferenceMethod.Pessimistic);
// Assert...
CollectionAssert.AreEquivalent(expected, results);
}
public void PessimisticWorld_GivenWorlds_ExpectMetrics()
{
// Arrange...
var jsonWorlds = new List <string>();
jsonWorlds.Add("{'Name':'Bob', 'Age':'40', 'Year': '2040'}");
jsonWorlds.Add("{'Name':'Bob', 'Age':'30', 'Year': '2030'}");
jsonWorlds.Add("{'Name':'Sam', 'Age':'30', 'Year': '2030'}");
jsonWorlds.Add("{'Name':'Tom', 'Age':'30', 'Year': '2010'}");
jsonWorlds.Add("{'Name':'Joe', 'Age':'40', 'Year': '2040'}");
var sut = new DymeInferenceEvaluator(_worldReader, _worldAnalyser, _metricSvc);
var expect = new Dictionary <string, int>();
expect.Add("EvaluateProposition", 498);
expect.Add("GetValueFromWorld", 498);
// Act...
var rules = sut.GetRulesForWorlds(jsonWorlds, InferenceMethod.Pessimistic);
var results = (_metricSvc as DefaultMetricService).metrics;
// Assert...
CollectionAssert.AreEquivalent(expect, results);
}
