source: examples/python_tests/evaluator_rt1/evaluator.save @ c6d5da3

mei_rt2mei_rt2_fix_1
Last change on this file since c6d5da3 was f824a9e, checked in by Mei <mei@…>, 13 years ago

1) add more doc to python_tests
  • Property mode set to 100644
File size: 818 bytes
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2
3...final principal set...
4(pISI,keyid,y)
5(pJohn,keyid,y)
6(pMaryann,keyid,y)
7(pUSC,keyid,y)
8
9...final policy attribute set...
10pISI.employee <- pJohn
11pISI.employee <- pMaryann
12pISI.managerOf(pMaryann) <- pJohn
13pUSC.employee <- pISI.employee
14pUSC.evaluatorOf(K) <- pUSC.managerOf(K)
15pUSC.managerOf(K) <- pISI.managerOf(K)
16
17===good============ USC.evaluatorOf(Maryann) <- John
18YAP query succeed
19pUSC.evaluatorOf(K) <- pUSC.managerOf(K)
20pUSC.managerOf(K) <- pISI.managerOf(K)
21pISI.managerOf(pMaryann) <- pJohn
22
23===good============ USC.managerOf(Maryann) <- John
24YAP query succeed
25pUSC.managerOf(K) <- pISI.managerOf(K)
26pISI.managerOf(pMaryann) <- pJohn
27
28===good============  USC.employee <-?- John
29YAP query succeed
30pUSC.employee <- pISI.employee
31pISI.employee <- pJohn
Note: See TracBrowser for help on using the repository browser.