def test_mazeprops1(self):
mc = MazeClause([(("X", (1, 1)), True), (("X", (2, 1)), True), (("Y", (1, 2)), False)])
self.assertTrue(mc.get_prop(("X", (1, 1))))
self.assertTrue(mc.get_prop(("X", (2, 1))))
self.assertFalse(mc.get_prop(("Y", (1, 2))))
self.assertTrue(mc.get_prop(("X", (2, 2))) is None)
self.assertFalse(mc.is_empty())
def test_mazeprops2(self):
mc = MazeClause([(("X", (1, 1)), True), (("X", (1, 1)), True)])
self.assertTrue(mc.get_prop(("X", (1, 1))))
self.assertFalse(mc.is_empty())