/[ascend]/trunk/models/test/lrslv/onerel.a4c
ViewVC logotype

Diff of /trunk/models/test/lrslv/onerel.a4c

Parent Directory Parent Directory | Revision Log Revision Log | View Patch 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;

Legend:
Removed from v.1341  
changed lines
  Added in v.1342

john.pye@anu.edu.au
ViewVC Help
Powered by ViewVC 1.1.22