source: fedd/abac-src/rbtm/test/frontier-desired-sens-output.txt @ bb39689

axis_examplecompt_changesinfo-opsversion-1.30version-2.00version-3.01version-3.02
Last change on this file since bb39689 was 8780cbec, checked in by Jay Jacobs <Jay.Jacobs@…>, 15 years ago

ABAC sources from Cobham

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