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
|
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.