Parent Directory
| 
Revision Log
| 
Patch
| revision 1341 by jpye, Sun Mar 11 13:47:33 2007 UTC | revision 1342 by jpye, Sun Mar 11 13:57:34 2007 UTC | |
|---|---|---|
| # | Line 1 | Line 1 |
| 1 | REQUIRE "atoms.a4l"; | REQUIRE "atoms.a4l"; |
| 2 | (* | |
| 3 | A simplest-possible logical relation problem. The relation | |
| 4 | ||
| 5 | fact != fiction | |
| 6 | ||
| 7 | Should result fiction to the NOT value of fact, as we are FIXing the value | |
| 8 | of fact. | |
| 9 | ||
| 10 | Note that a bug in FIX requires this '.fixed :=' syntax to be used for | |
| 11 | the moment. | |
| 12 | *) | |
| 13 | MODEL onerel; | MODEL onerel; |
| 14 | fact IS_A boolean_var; | fact IS_A boolean_var; |
| 15 | fiction IS_A boolean_var; | fiction IS_A boolean_var; |
|
||||||||
| john.pye@anu.edu.au | ViewVC Help |
| Powered by ViewVC 1.1.22 |