This would allow the MCC model to not get more complicated only because we want constraint violation information reported, for example.

Mike reports that you could do this in code generation (and pointed me to System/test stuff).

From email by Mike that Javier responded to:

Michael Iatauro (ARC-TI)[QSS GROUP INC] wrote:

The code generator allows you to swap in token implementation classes as well, so you can say stuff like:

<binding nddl="Timeline" cpp="EUROPA::SAVH::UnaryTimeline" include="SAVH_Reusable.hh"/> ok, this can be accomplished by the cpl of lines I sent Tristan in my previous message

<binding nddl="Timeline.*" cpp="NddlUnaryToken"

include="SAVH_Reusable.hh"/>

right, I had forgotten about this and the fact that it takes advantage of C++ inheritance to get the desired behavior. this needs to be added to the interpreter, shouldn't be hard but it'll take more than a few minutes, I'll try to take care of it next week.