source: examples/python_tests/acme_rockets_intersection_rt0/intersect.save @ 5f551d3

mei_rt2mei_rt2_fix_1
Last change on this file since 5f551d3 was 7211a95, checked in by Mei <mei@…>, 12 years ago

1) add more python examples
2) add the missing linking role and linking oset api calls
3) fix the output of time typed data term/oset obj in typed_string format

(transform back from yap time format to our ddddddddTdddddd format

  • Property mode set to 100644
File size: 635 bytes
Line 
1% Restoring file /usr/local/lib/Yap/startup.yss
2
3===good============ Acme.buy_rockets <- Coyote
4YAP query succeed
5pAcme.buy_rockets <- pAcme.preferred_customer & pWarnerBros.character
6pAcme.preferred_customer <- pCoyote
7pWarnerBros.character <- pCoyote
8
9===bad============ Acme.buy_rockets <- Batman
10YAP query failed
11
12...final principal set...
13(pAcme,keyid,y)
14(pBatman,keyid,y)
15(pCoyote,keyid,y)
16(pWarnerBros,keyid,y)
17
18
19
20...final policy attribute set...
21pAcme.buy_rockets <- pAcme.preferred_customer & pWarnerBros.character
22pAcme.preferred_customer <- pBatman
23pAcme.preferred_customer <- pCoyote
24pWarnerBros.character <- pCoyote
25
26
Note: See TracBrowser for help on using the repository browser.