source: caseStudy_Huffmann/huffmann/huff_reset/safe_rob1.ctl @ 106

Last change on this file since 106 was 105, checked in by cecile, 12 years ago

Hufmann case study
File size: 276 bytes
Line 
1!(
2(plain<0> = 1 ^ plain<0>G = 0) *
3(plain<1> = 1 ^ plain<1>G = 0) *
4(plain<2> = 1 ^ plain<2>G = 0) *
5(plain<3> = 1 ^ plain<3>G = 0) *
6(plain<4> = 1 ^ plain<4>G = 0) *
7(plain<5> = 1 ^ plain<5>G = 0) *
8(plain<6> = 1 ^ plain<6>G = 0) *
9(plain<7> = 1 ^ plain<7>G = 0)
10);
Note: See TracBrowser for help on using the repository browser.