mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change
on this file since da5afdf was
10e1588,
checked in by Mei <mei@…>, 13 years ago
|
1) added oset handling
2) add dynamic constraints
|
-
Property mode set to
100644
|
File size:
1.4 KB
|
Line | |
---|
1 | isMember(A,role(pAlpha,access,read,C),B) :- |
---|
2 | isMember(A,role(pAlpha,team,E),D), |
---|
3 | appendL([['W2tleWlkOjc0MGIwMWM5OThkMjFmYTllY2ZlZTJjZmYyNWRkOGIzODk5ODZjMDNdLnJvbGU6YWNjZXNzKFtzdHJpbmc6J3JlYWQnXSxbdXJuOj9Ge1trZXlpZDo3NDBiMDFjOTk4ZDIxZmE5ZWNmZWUyY2ZmMjVkZDhiMzg5OTg2YzAzXS5vc2V0OmRvY3VtZW50cyhbc3RyaW5nOj9QXSl9XSkgPC0gW2tleWlkOjc0MGIwMWM5OThkMjFmYTllY2ZlZTJjZmYyNWRkOGIzODk5ODZjMDNdLnJvbGU6dGVhbShbc3RyaW5nOj9QXSk='],F,D],B), |
---|
4 | isType(pAlpha,keyid), |
---|
5 | isMember(C,oset(pAlpha,documents,E),F). |
---|
6 | isMember('file//fileA',oset(pAlpha,documents,proj1),['W2tleWlkOjc0MGIwMWM5OThkMjFmYTllY2ZlZTJjZmYyNWRkOGIzODk5ODZjMDNdLm9zZXQ6ZG9jdW1lbnRzKFtzdHJpbmc6J3Byb2oxJ10pIDwtIFt1cm46J2ZpbGUvL2ZpbGVBJ10=']) :- |
---|
7 | isType(pAlpha,keyid). |
---|
8 | isMember(pBob,role(pAlpha,team,proj1),['W2tleWlkOjc0MGIwMWM5OThkMjFmYTllY2ZlZTJjZmYyNWRkOGIzODk5ODZjMDNdLnJvbGU6dGVhbShbc3RyaW5nOidwcm9qMSddKSA8LSBba2V5aWQ6YWY0MGQ3N2Y1YjMwYTk3OTQ4NGY4YmJiZmI0MDg0MDgxN2EzM2E2N10=']) :- |
---|
9 | isType(pAlpha,keyid), |
---|
10 | isType(pBob,keyid). |
---|
11 | isMember(pJoe,role(pAlpha,team,proj2),['W2tleWlkOjc0MGIwMWM5OThkMjFmYTllY2ZlZTJjZmYyNWRkOGIzODk5ODZjMDNdLnJvbGU6dGVhbShbc3RyaW5nOidwcm9qMiddKSA8LSBba2V5aWQ6N2Y1YzY4YzEyNTUxZmI2NmU3YmYxNWVmMzY0YjQ2MjI1NDE5MDkzYl0=']) :- |
---|
12 | isType(pAlpha,keyid), |
---|
13 | isType(pJoe,keyid). |
---|
14 | isType(pAlpha,keyid). |
---|
15 | isType(pBob,keyid). |
---|
16 | isType(pJoe,keyid). |
---|
17 | appendL([],[]). |
---|
18 | appendL([B|C],A) :- |
---|
19 | appendL(C,D), |
---|
20 | append(B,D,A). |
---|
21 | append([],A,A). |
---|
22 | append([B|C],A,[B|D]) :- |
---|
23 | append(C,A,D). |
---|
24 | |
---|
Note: See
TracBrowser
for help on using the repository browser.