def test_conflict_free_trivially(self): baba = ExampleFrameworks.valid_BABA_framework() self.assertTrue(Semantics.conflict_free(baba, [])) self.assertTrue(Semantics.conflict_free(baba, [a])) self.assertTrue(Semantics.conflict_free(baba, [a, b, c])) self.assertFalse(Semantics.conflict_free(baba, [b, d])) self.assertFalse(Semantics.conflict_free(baba, [a, b, c, d, e]))
def test_conflict_free_larger_framework(self): baba = ExampleFrameworks.larger_framework() self.assertTrue(Semantics.conflict_free(baba, []), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [b, e, f]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [b, b, e, f]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [b, b, i, f, g, h]), "Expected: conflict free") self.assertFalse(Semantics.conflict_free(baba, [b, d, e, f]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [b, e, f, g, h]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [b, e, f, i]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [b, d, e, f, g, h, i]), "Expected: NOT conflict free")
def test_conflict_free(self): baba = ExampleFrameworks.with_contraries() self.assertTrue(Semantics.conflict_free(baba, []), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [d, e]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [d, e, f, h]), "Expected: conflict free") self.assertFalse(Semantics.conflict_free(baba, [d, e, f, g]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [d, e, h, i]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [d, e, f, g, h, i]), "Expected: NOT conflict free")
def test_conflict_free_venice_framework(self): baba = ExampleFrameworks.venice_framework() self.assertTrue(Semantics.conflict_free(baba, [a]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [b]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [c]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [d]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [e]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [a, c]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [a, d]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [a, e]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [b, d]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [b, e]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [c, e]), "Expected: conflict free") self.assertTrue(Semantics.conflict_free(baba, [a, c, e]), "Expected: conflict free") self.assertFalse(Semantics.conflict_free(baba, [b, c]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [c, d]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [a, b, c]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [a, b, d]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [a, b, e]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [b, c, d]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [b, c, e]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [c, d, e]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [a, b, c, d]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [a, b, c, e]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [a, b, d, e]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [a, c, d, e]), "Expected: NOT conflict free") self.assertFalse(Semantics.conflict_free(baba, [a, b, c, d, e]), "Expected: NOT conflict free")