supported by Zeuner Solutions SourceForge.net Logo

documentation for the macro "set_factor_target_tuple_transitions"

Iterates transition data computation over the target types of the factor policy.

It is defined in the file sets.m4.

m4 code:

define(`set_factor_target_tuple_transitions',
`set_base_target_tuple_transitions($1,$2,$3,patsubst($4,`
',`,$5)set_base_target_tuple_transitions($1,$2,$3,'),$5)')