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