Integrated the data structure for state properties.
Checked to see whether any changes to the API broke code. Added information regarding whether an attacker is alive.
Updated the document to the new version.