// ## statechart_method public boolean isCompleted(int state) { return reactive.isCompleted(state); }