mei_rt2mei_rt2_fix_1
|
Last change
on this file since 09496b3 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
|
| Line | |
|---|
| 1 | |
|---|
| 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' |
|---|
| 12 | pBob.what2eat <- pRalphs.fruitprice(P:[1.000000..5.000000]) |
|---|
| 13 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
|---|
| 14 | |
|---|
| 15 | ===good============ mary.what2eat <- navel orange |
|---|
| 16 | YAP query succeed |
|---|
| 17 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
|---|
| 18 | pRalphs.fruitprice(0.50) <- 'navel orange' |
|---|
| 19 | |
|---|
| 20 | ===good============ mary.what2eat <- kiwi |
|---|
| 21 | YAP query succeed |
|---|
| 22 | pMary.what2eat <- pRalphs.fruitprice(P:[..2.000000]) |
|---|
| 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.
