A State-Based Programming Model for Wireless Sensor Networks

A.4. Control Flow Mapping–Stage Two (C) 171
431 bitE.E65 = (bitE.E64&&!(__STATE_PROG_bitR.R21))||bitE.E6;
432 bitE.E7 = (bitE.E65||bitE.E7)&&bitE.E63&&bitE.E7;
433 bitE.E66 = bitE.E58&&!((__STATE_PROG_A2));
434 bitE.E66 = bitE.E66||bitE.E60;
435 bitE.E52 = !(bitE.E59)&&bitE.E52;
436 bitE.E67 = bitE.E52&&bitE.E25;
437 bitE.E52 = bitE.E52&&!(bitE.E25);
438 bitE.E19 = (bitE.E20&&__STATE_PROG_bitR.R12)||(bitE.E19&&__STATE_PROG_bitR.R12);
439 bitE.E14 = ((bitE.E24||bitE.E47||bitE.E48)&&bitE.E17&&bitE.E16)||
440 ((bitE.E21||bitE.E50||bitE.E51)&&bitE.E15&&bitE.E14)||
441 bitE.E19||bitE.E52||bitE.E67||bitE.E66;
442 bitE.E57 = bitE.E57&&bitE.E12&&__STATE_PROG_bitR.R10;
443 bitE.E18 = __STATE_PROG_bitR.R10||bitE.E18;
444 bitE.E15 = bitE.E18||__STATE_PROG_bitR.R11;
445 bitE.E18 = (bitE.E15&&!(bitE.E18))||bitE.E57||bitE.E14;
446 bitE.E11 = !((__STATE_PROG_A1))&&bitE.E11;
447 bitE.E16 = bitE.E11||(bitE.E15&&!(__STATE_PROG_bitR.R11));
448 bitE.E17 = (bitE.E16||bitE.E12)&&bitE.E18&&bitE.E12;
449 bitE.E20 = bitE.E7||bitE.E17;
450 bitE.E68 = bitE.E20||__STATE_PROG_bitR.R0;
451 bitE.E69 = !(bitE.E9)&&bitE.E68;
452 bitE.E70 = bitE.E69&&bitE.E12;
453 bitE.E71 = bitE.E70;
454 bitE.E68 = bitE.E9&&bitE.E68;
455 bitE.E49 = bitE.E17||bitE.E49||bitE.E49||bitE.E49;
456 bitE.E9 = !(bitE.E17)&&bitE.E67;
457 bitE.E72 = bitE.E67;
458 bitE.E67 = bitE.E67;
459 bitE.E73 = bitE.E68&&(__STATE_PROG_A2);
460 if (bitE.E73) {
461 __STATE_PROG_A13;
462 }
463 bitE.E46 = bitE.E17||bitE.E46||bitE.E46||bitE.E46;
464 bitE.E74 = !(bitE.E17)&&bitE.E66;
465 bitE.E75 = bitE.E68&&!((__STATE_PROG_A2));
466 bitE.E75 = bitE.E75||bitE.E73;
467 bitE.E66 = bitE.E75||bitE.E66;
468 bitE.E58 = bitE.E68||bitE.E58;
469 bitE.E59 = bitE.E68||bitE.E59;
470 bitE.E76 = bitE.E68;
471 bitE.E20 = bitE.E20;
472 bitE.E69 = bitE.E69&&!(bitE.E12);
473 bitE.E77 = __STATE_PROG_bitR.R9&&!(__STATE_PROG_bitR.R0);
474 bitE.E78 = bitE.E70;
387 bitE.E48 = bitE.E20&&__STATE_PROG_bitR.R13;
388 bitE.E48 = (bitE.E46&&!(bitE.E25))||(bitE.E48&&!(bitE.E25)&&
389 __STATE_PROG_bitR.R13)||((bitE.E19||(bitE.E48&&bitE.E25))&&
390 __STATE_PROG_bitR.R13);
391 bitE.E16 = (bitE.E17&&!(bitE.E16))||bitE.E47||bitE.E48;
392 bitE.E24 = !((__STATE_PROG_A2))&&bitE.E24;
393 bitE.E24 = (bitE.E19&&__STATE_PROG_bitR.R15)||bitE.E24;
394 bitE.E17 = (bitE.E17&&!(__STATE_PROG_bitR.R15))||bitE.E24;
395 bitE.E46 = (bitE.E17||bitE.E25)&&bitE.E16&&bitE.E25;
396 bitE.E49 = bitE.E20&&__STATE_PROG_bitR.R17;
397 bitE.E50 = (bitE.E19&&__STATE_PROG_bitR.R17)||(bitE.E49&&bitE.E22&&
398 __STATE_PROG_bitR.R17);
399 bitE.E51 = bitE.E20&&__STATE_PROG_bitR.R16;
400 bitE.E51 = (bitE.E49&&!(bitE.E22))||(bitE.E51&&!(bitE.E22)&&
401 __STATE_PROG_bitR.R16)||(((bitE.E51&&bitE.E22)||bitE.E19)&&
402 __STATE_PROG_bitR.R16);
403 bitE.E14 = (bitE.E15&&!(bitE.E14))||bitE.E50||bitE.E51;
404 bitE.E21 = bitE.E21&&!((__STATE_PROG_A2));
405 bitE.E21 = (bitE.E19&&__STATE_PROG_bitR.R18)||bitE.E21;
406 bitE.E15 = (bitE.E15&&!(__STATE_PROG_bitR.R18))||bitE.E21;
407 bitE.E49 = (bitE.E15||bitE.E22)&&bitE.E14&&bitE.E22;
408 bitE.E52 = bitE.E49||bitE.E46;
409 bitE.E53 = bitE.E52;
410 bitE.E54 = bitE.E25;
411 bitE.E55 = _false;
412 bitE.E56 = bitE.E12;
413 bitE.E57 = __STATE_PROG_bitR.R10&&!(__STATE_PROG_bitR.R0);
414 bitE.E58 = bitE.E57&&!(bitE.E12);
415 bitE.E59 = bitE.E58||bitE.E22;
416 bitE.E52 = bitE.E58||bitE.E52;
417 bitE.E58 = bitE.E59&&bitE.E52;
418 bitE.E60 = bitE.E58&&(__STATE_PROG_A2);
419 if (bitE.E60) {
420 __STATE_PROG_A13;
421 }
422 bitE.E6 = bitE.E6&&!((__STATE_PROG_A1));
423 bitE.E61 = __STATE_PROG_bitR.R19&&!(__STATE_PROG_bitR.R0);
424 bitE.E62 = __STATE_PROG_bitR.R20&&!(__STATE_PROG_bitR.R0);
425 bitE.E61 = (bitE.E62&&!(bitE.E7))||(bitE.E61&&!(bitE.E7)&&
426 __STATE_PROG_bitR.R19)||(bitE.E61&&bitE.E7&&__STATE_PROG_bitR.R19);
427 bitE.E62 = bitE.E62&&bitE.E7&&__STATE_PROG_bitR.R20;
428 bitE.E63 = __STATE_PROG_bitR.R20||__STATE_PROG_bitR.R19;
429 bitE.E64 = bitE.E63||__STATE_PROG_bitR.R21;
430 bitE.E63 = (bitE.E64&&!(bitE.E63))||bitE.E62||bitE.E61;