supported by Zeuner Solutions SourceForge.net Logo

documentation for the macro "all_role_transitions"

Computes all applicable role transitions in the product policy of the provided factors.

It is defined in the file sets.m4.

m4 code:

define(`all_role_transitions',
`define(`current_roles',one_roles)dnl
augment_role_transitions(current,patsubst($1,`
',`)augment_role_transitions(current,'))dnl
role_transition_definitions(current_roles)')