Compact Dastructures for ZonesDifference Bounded Matrices

1<= x <=4

1<= y <=3

D

Future

x

y

x

y

Future D

0

y

x

4

-1

3

-1

Shortest

Path

Closure

Remove

upper

bounds

on clocks

1<=x, 1<=y

-2<=x-y<=3

y

x

-1

-1

3

2

0

y

x

-1

-1

3

2

0

4

3

Previous slide

Next slide

Back to first slide

View graphic version