If a state is conditionally complied out, choice segments referencing the target won't compile. Would like to be able to have choice seqments conditional.
Making individual choice segments conditionally-compiled makes no sense, because it is "under-specified". In particular, it is unclear what to do when a given choice-segment is "compiled out". Should the original transition become an internal-transition in this case? What about other (possibly complementary) choice-segments attached to the same choice-point that are not "compiled-out"?
The issue of compilation errors if target states are "compiled out" can be always addressed by conditional transitions. Please note that choice-segments are always ultimately attached to a transition, which can be conditional.
--MMS
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Making individual choice segments conditionally-compiled makes no sense, because it is "under-specified". In particular, it is unclear what to do when a given choice-segment is "compiled out". Should the original transition become an internal-transition in this case? What about other (possibly complementary) choice-segments attached to the same choice-point that are not "compiled-out"?
The issue of compilation errors if target states are "compiled out" can be always addressed by conditional transitions. Please note that choice-segments are always ultimately attached to a transition, which can be conditional.
--MMS