interval Namespace Reference

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

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

Function Documentation

check_add()

def interval.check_add	(		r1,
			r2
	)

check_and()

def interval.check_and	(		r1,
			r2
	)

check_sub()

def interval.check_sub	(		r1,
			r2
	)

gen_random_interval()

def interval.gen_random_interval

(

l = 100

)

Variable Documentation

a

interval.a = interval(r1)

b

interval.b = interval(r2)

c

interval.c = interval(r3)

dry_run

interval.dry_run

i1

interval.i1 = interval([(1, 3)])

i10

interval.i10 = interval([(1, 1)])

i11

interval.i11 = interval([(1, 2)])

i12

interval.i12 = interval([(2, 2)])

i13

interval.i13 = interval([(2, 4)])

i14

interval.i14 = interval([(0, 1), (3, 5), (7, 10)])

i15

interval.i15 = interval([(0, 12)])

i16

interval.i16 = interval([(2, 8)])

i2

interval.i2 = interval([(2, 5)])

i3

interval.i3 = interval([(3, 5)])

i4

interval.i4 = interval([(5, 8)])

i5

interval.i5 = interval([(1, 5)])

i6

interval.i6 = interval([(1, 3), (5, 8)])

i7

interval.i7 = interval([(2, 8)])

i8

interval.i8 = interval([(1, 8)])

i9

interval.i9 = interval([(4, 5)])

i_empty

interval.i_empty = interval()

r1

def interval.r1 = gen_random_interval()

r2

def interval.r2 = gen_random_interval()

r3

def interval.r3 = gen_random_interval()

x1

list interval.x1 = [(7, 87), (76, 143), (94, 129), (79, 89), (46, 100)]

x2

list interval.x2 = [(11, 16), (35, 74), (18, 114), (91, 188), (3, 75)]