Changeset 100 for vis_dev/vis-2.3/models/transition/cex.ctl

Timestamp:

Jul 18, 2012, 4:46:43 PM (12 years ago)

Author:

cecile

Message:

exemple transition with cex

File:

• vis_dev/vis-2.3/models/transition/cex.ctl (modified) (1 diff)

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

@@ -1 @@
-(((cex.state[2:0] = 7  * cex.s2 = 1 ) )  * S.state[1:0] = 0)  * 
-EX( S.state[1:0] = 1 ) ; 
+#cex.state[2:0] = 7  * cex.s2 = 1 * S.state[1:0] = 0 * EX(cex.state[2:0] = 2 *
+# S.state[1:0] = 1) ;
+
+#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 0 * S.state[1:0] = 0));
+#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 0 ));
+#cex.s2 = 1 * EX(cex.s2 = 1 * EX(cex.s3 = 1 ));
+#cex.s2 = 1 * EX(cex.s2 = 0 * EX(cex.s3 = 1 ));
+cex.state[2:0] = 7 * cex.s2 = 1 * S.state[1:0] = 0 * (EX(cex.state[2:0] = 2
+* cex.s2 = 0 * S.state[1:0] = 1 * EX(cex.s2 = 0)));
+ 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 
+* EX(S.state[1:0] =  0 * EX(S.state[1:0] = 1)))));
+
+