std::string SequenceTrigger::get_sequence_name() const { return sequence_to_string(sequence); }
void SequenceTrigger::save(Writer& writer) { MovingObject::save(writer); writer.write("sequence", sequence_to_string(sequence), false); }