source: fedd/abac-src/rbtm/test/frontier-desired-oppo-output.txt @ 4adc697

version-1.30
Last change on this file since 4adc697 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham

  • Property mode set to 100644
File size: 545 bytes
Line 
1                               
2EPub.discount                           { EOrg.preferred ^ EPub.student }
3EOrg.preferred ^ EPub.student           { EOrg.preferred ^ EPub.student }
4EOrg.preferred                        * { IEEE.member, ACM.member } 
5IEEE.member                           * { IEEE.member }
6ACM.member                              { ACM.member }
7EPub.student                            { EPub.university.stuId }
8EPub.university.stuId                   { EPub.university.stuId }
9EPub.university                       * { ABU.accredited }
10ABU.accredited                        * { ABU.accredited }
11StateU                                  { StateU }
12StateU.stuId                          * { StateU.stuId }
13Alice                                   { Alice }
14Brian                                   { Brian }
15Cindy                                   { Cindy }
Note: See TracBrowser for help on using the repository browser.