interval.py File Reference

Namespaces
	interval

Functions
def	interval.gen_random_interval (l=100)
def	interval.check_add (r1, r2)
def	interval.check_sub (r1, r2)
def	interval.check_and (r1, r2)

Variables
	interval.i1 = interval([(1, 3)])
	interval.i2 = interval([(2, 5)])
	interval.i3 = interval([(3, 5)])
	interval.i4 = interval([(5, 8)])
	interval.i5 = interval([(1, 5)])
	interval.i6 = interval([(1, 3), (5, 8)])
	interval.i7 = interval([(2, 8)])
	interval.i8 = interval([(1, 8)])
	interval.i9 = interval([(4, 5)])
	interval.i10 = interval([(1, 1)])
	interval.i11 = interval([(1, 2)])
	interval.i12 = interval([(2, 2)])
	interval.i13 = interval([(2, 4)])
	interval.i14 = interval([(0, 1), (3, 5), (7, 10)])
	interval.i15 = interval([(0, 12)])
	interval.i16 = interval([(2, 8)])
	interval.i_empty = interval()
list	interval.x1 = [(7, 87), (76, 143), (94, 129), (79, 89), (46, 100)]
list	interval.x2 = [(11, 16), (35, 74), (18, 114), (91, 188), (3, 75)]
	interval.dry_run
def	interval.r1 = gen_random_interval()
def	interval.r2 = gen_random_interval()
def	interval.r3 = gen_random_interval()
	interval.a = interval(r1)
	interval.b = interval(r2)
	interval.c = interval(r3)