supported by Zeuner Solutions SourceForge.net Logo

documentation for the macro "all_transitions"

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

It is defined in the file sets.m4.

m4 code:

define(`all_transitions',
`define(`current_types',one_types)dnl
augment_type_transitions(current,patsubst($1,`
',`)augment_type_transitions(current,'))dnl
transition_clauses(current_types,current_types)')