mei_rt2mei_rt2_fix_1
Last change
on this file since 68109e3 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:
946 bytes
|
Rev | Line | |
---|
[2efdff5] | 1 | |
---|
[f824a9e] | 2 | ...final principal set... |
---|
| 3 | (pBob,keyid,y) |
---|
| 4 | (pMary,keyid,y) |
---|
| 5 | (pRalphs,keyid,y) |
---|
| 6 | |
---|
| 7 | ...final policy attribute set... |
---|
| 8 | pRalphs.fruitprice(1.50) <- 'apple' |
---|
| 9 | pRalphs.fruitprice(2.50) <- 'black berry' |
---|
| 10 | pRalphs.fruitprice(1.50) <- 'kiwi' |
---|
| 11 | pRalphs.fruitprice(0.50) <- 'navel orange' |
---|
[2efdff5] | 12 | pBob.what2eat <- pRalphs.fruitprice(P:[1.000000..5.000000]) |
---|
| 13 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
---|
[f824a9e] | 14 | |
---|
[7211a95] | 15 | ===good============ mary.what2eat <- navel orange |
---|
| 16 | YAP query succeed |
---|
[2efdff5] | 17 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
---|
[7211a95] | 18 | pRalphs.fruitprice(0.50) <- 'navel orange' |
---|
| 19 | |
---|
| 20 | ===good============ mary.what2eat <- kiwi |
---|
| 21 | YAP query succeed |
---|
[2efdff5] | 22 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
---|
[7211a95] | 23 | pRalphs.fruitprice(1.50) <- 'kiwi' |
---|
| 24 | |
---|
| 25 | ===bad============ bob.what2eat <- navel orange |
---|
| 26 | YAP query failed |
---|
| 27 | |
---|
| 28 | ===good============ ralphs.fruitprice(1.50) <- apple |
---|
| 29 | YAP query succeed |
---|
| 30 | pRalphs.fruitprice(1.50) <- 'apple' |
---|
| 31 | |
---|
| 32 | ===bad============ ralphs.fruitprice(1.50) <- green apple |
---|
| 33 | YAP query failed |
---|
Note: See
TracBrowser
for help on using the repository browser.