ups. fixed syntax error...
git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4555 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
5516ce4fea
commit
8553dced2d
|
@ -90,7 +90,7 @@ fun actions_of (p:Permission) = #actions p
|
||||||
(** test whether a1 is (transitively) a subordinated_action of a2 *)
|
(** test whether a1 is (transitively) a subordinated_action of a2 *)
|
||||||
fun is_contained_in a1 a2 = (a1 = a2) orelse
|
fun is_contained_in a1 a2 = (a1 = a2) orelse
|
||||||
List.exists (is_contained_in a1)
|
List.exists (is_contained_in a1)
|
||||||
(Design.subordinated_actions a2)))
|
(Design.subordinated_actions a2)
|
||||||
|
|
||||||
(** test whether the permission p covers the action a. *)
|
(** test whether the permission p covers the action a. *)
|
||||||
fun permission_includes_action (p:Permission) (a:Design.Action) =
|
fun permission_includes_action (p:Permission) (a:Design.Action) =
|
||||||
|
|
Loading…
Reference in New Issue