void IXmlDeserializable.Deserialize(XmlDeserializationContext context) { Deserialize(context); actions.MakeReadOnly(); state_variables.MakeReadOnly(); }