Demand Driven Analysis

yɘ?

read x,y

if x==0

y = -1

B1

B2

x = y

B3

if x < 0

B5

B4

B6

T

F

T

F

F

T

xɘ?

xɘ?

xɘ?

yɘ?

xɘ?

yɘ?

xɘ?

xɘ?

xɘ={F,?}

yɘ={T,?}

read x,y

if x==0

y = -1

B1

B2

x = y

B3

if x < 0

B5

B4

B6

T

F

T

F

F

T

xɘ={F}

yɘ={?}

xɘ={?}

yɘ={T,?}

xɘ={T,F,?}

xɘ={F,?}

xɘ={?}

yɘ?

yɘ={?}

Previous slide

Next slide

Back to first slide

View graphic version