source: fedd/abac-src/rbtm/test/frontier-desired-simp-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: 485 bytes
Line 
1                               
2EPub.discount                           { EOrg.preferred ^ EPub.student }
3EOrg.preferred ^ EPub.student           { EOrg.preferred ^ EPub.student }
4EOrg.preferred                          { Alice, Cindy, Brian }
5IEEE.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                            { Alice, Brian }
13Alice                                   { Alice }
14Brian                                   { Brian }
15Cindy                                   { Cindy }
Note: See TracBrowser for help on using the repository browser.