source: vis_dev/vis-2.3/models/transition/cex.ctl

Last change on this file was 100, checked in by cecile, 12 years ago

exemple transition with cex
File size: 597 bytes
Line 
1#cex.state[2:0] = 7  * cex.s2 = 1 * S.state[1:0] = 0 * EX(cex.state[2:0] = 2 *
2# S.state[1:0] = 1) ;
3
4#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 0 * S.state[1:0] = 0));
5#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 0 ));
6#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 1 ));
7#cex.s2 = 1 * EX(cex.s2 = 0 * EX(cex.s3 = 1 ));
8cex.state[2:0] = 7 * cex.s2 = 1 * S.state[1:0] = 0 * (EX(cex.state[2:0] = 2
9* cex.s2 = 0 * S.state[1:0] = 1 * EX(cex.s2 = 0)));
10 cex.s2 = 1 * S.state[1:0] = 0 * (EX( cex.s2 = 1 * S.state[1:0] = 0 * EX(S.state[1:0] = 0 * cex.s3 = 0
11* EX(S.state[1:0] =  0 * EX(S.state[1:0] = 1)))));
12
13
Note: See TracBrowser for help on using the repository browser.