Conditions
- 1. root: XLB = YLB = -inf; XUB = YUB = inf
- 2. node N has node P as its parent and level(P) is even:
N.xlb = P.xlb if N = P.llink
N.xlb = P.xval if N = P.rlink
N.xub = P.xval if N = P.llink
N.xub = P.xub if N = P.rlink
N.ylb = P.ylb; N.yub = P.yub
- 3. node N has node P as its parent and level(P) is odd:
N.ylb = P.ylb if N = P.llink
N.ylb = P.yval if N = P.rlink
N.yub = P.yval if N = P.llink
N.yub = P.yub if N = P.rlink
N.xlb = P.xlb; N.xub = P.xub

slide: Bounds -- conditions
[]
readme
preface
1
2
3
4
5
6
7
appendix
checklist
powerpoint
resources
director
eliens@cs.vu.nl

draft version 1 (16/5/2003)