public void PL1_Predicates_ContainsKey_True() { Assert.IsTrue(_predDictionary.ContainsKey(BivalenceWorldDataFields.TET)); Assert.IsTrue(_predDictionary.ContainsKey(BivalenceWorldDataFields.LARGE)); Assert.IsTrue(_predDictionary.ContainsKey(BivalenceWorldDataFields.SMALL)); Assert.IsTrue(_predDictionary.ContainsKey(BivalenceWorldDataFields.CUBE)); }
public void PL1_PredBigger_True() { Assert.IsTrue(_predDictionary.ContainsKey(BivalenceWorldDataFields.LARGER)); List <List <string> > preds = _predDictionary[BivalenceWorldDataFields.LARGER]; Assert.IsTrue(preds.Any(x => x.Count > 1 && x[0] == "u0" && x[1] == "u1")); Assert.IsTrue(preds.Any(x => x.Count > 1 && x[0] == "u0" && x[1] == "u2")); Assert.IsTrue(preds.Any(x => x.Count > 1 && x[0] == "u1" && x[1] == "u2")); }