> Hi Marijn and all others,
> What I actually not understand in this definition is the following
> question - I hope you can explain why it is as it is in the qual
> The DefaultTerm is stored in the ListOfFunctionTerms. The Transition has
> at most one such list. Why is the DefaultTerm not directly stored within
> the Transition?
I think the designers thought it was logical this way. It certainly
makes sense to group the defaultTerm and the functionalTerms together.
But in the end, it doesn't matter at all, as long as there is a place to
store the defaultTerm and we all agree to where that is :)