TimedAutoma and CompiledTimedAutomata are now rendered using slightly different strategies (i.e., only the decorations of transitions and states change).
As a consequence, we have some ugly code like a instanceof CompiledTimedAutomata<?>. I can think of at least three solutions to solve this (e.g., visitor pattern, defining specific renderers for each implementation of ITimedAutomata, add methods to the interface to provide the proper decoration).
I haven't implemented this because I'm not sure whether it is worthy. I mean, we are not expecting more implementations of ITimedAutomata.
TimedAutoma and CompiledTimedAutomata are now rendered using slightly different strategies (i.e., only the decorations of transitions and states change).
As a consequence, we have some ugly code like
a instanceof CompiledTimedAutomata<?>. I can think of at least three solutions to solve this (e.g., visitor pattern, defining specific renderers for each implementation of ITimedAutomata, add methods to the interface to provide the proper decoration).I haven't implemented this because I'm not sure whether it is worthy. I mean, we are not expecting more implementations of ITimedAutomata.