def test_disjoint_exclusive_point(self):
a = primitive.Range(0, 5, inclusive_end=False)
b = primitive.Range(5, 9, inclusive_start=False)
self.assertIntersectEqual(a, b, grammar.UnionExp())
def test_overlap_inclusive_point(self):
a = primitive.Range(0, 5, inclusive_end=True)
b = primitive.Range(5, 10)
exp = primitive.Range(5, 5, inclusive_start=True, inclusive_end=True)
self.assertIntersectEqual(a, b, exp)
def test_disjoint_far(self):
a = primitive.Range(-10, -5)
b = primitive.Range(5, 10)
self.assertIntersectEqual(a, b, grammar.UnionExp())
def test_overlap_simple(self):
a = primitive.Range(0, 10)
b = primitive.Range(3, 7)
self.assertIntersectEqual(a, b, b)
