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

mei_rt2mei_rt2_fix_1
Last change on this file since b8a6fd2a was bf68132, checked in by Mei <mei@…>, 12 years ago

1) get example directory to work with yap with use_malloc option
2) swap in new performance graphs
  • Property mode set to 100644
File size: 770 bytes
Line 
1
2...final principal set...
3(pISI,keyid,y)
4(pJohn,keyid,y)
5(pMaryann,keyid,y)
6(pUSC,keyid,y)
7
8...final policy attribute set...
9pISI.employee <- pJohn
10pISI.employee <- pMaryann
11pISI.managerOf(pMaryann) <- pJohn
12pUSC.employee <- pISI.employee
13pUSC.evaluatorOf(K) <- pUSC.managerOf(K)
14pUSC.managerOf(K) <- pISI.managerOf(K)
15
16===good============ USC.evaluatorOf(Maryann) <- John
17YAP query succeed
18pUSC.evaluatorOf(K) <- pUSC.managerOf(K)
19pUSC.managerOf(K) <- pISI.managerOf(K)
20pISI.managerOf(pMaryann) <- pJohn
21
22===good============ USC.managerOf(Maryann) <- John
23YAP query succeed
24pUSC.managerOf(K) <- pISI.managerOf(K)
25pISI.managerOf(pMaryann) <- pJohn
26
27===good============  USC.employee <-?- John
28YAP query succeed
29pUSC.employee <- pISI.employee
30pISI.employee <- pJohn
Note: See TracBrowser for help on using the repository browser.