code: void writeTransitions(
          int size,
          ObjectOutput out
      ) throws IOException {
  
          SPX.writeTransitions(this.transitions, size, out);
  
      }
docs: <p>Benutzt in der Serialisierung. </p>
  
  @param   size    maximum count of transitions to be serialized
  @param   out     serialization stream