<?xml version="1.0" encoding="utf-8"?><HelpTOCNode Title="StateImpl Fields" Url="html/44d50e31-7f1f-b462-b4e3-b7ca74715df3.htm"><HelpTOCNode Title="concrete Field" Url="html/49493124-37d0-1306-ed90-b9b36e983b89.htm" /><HelpTOCNode Title="CreateMachineCallback Field" Url="html/cf799a2a-ccf2-a54d-a7b4-af288b45b6db.htm" /><HelpTOCNode Title="createMachineMap Field" Url="html/2c5a69db-d5e2-aaee-e738-d5c084d3c243.htm" /><HelpTOCNode Title="createSpecMap Field" Url="html/bb56e17d-756b-c883-a145-2e0f7afe7baf.htm" /><HelpTOCNode Title="currentVisibleTrace Field" Url="html/43b80592-e944-d3c7-87a3-95455bdc13ba.htm" /><HelpTOCNode Title="DequeueCallback Field" Url="html/f2289bdc-e9ac-86ba-dea4-9dae5d70f7ce.htm" /><HelpTOCNode Title="errorTrace Field" Url="html/d8ca88ba-1d2f-9fc2-3d6d-ede5eaa87165.htm" /><HelpTOCNode Title="FileDump Field" Url="html/3c071327-51f0-30c4-80b1-22ce80ec899e.htm" /><HelpTOCNode Title="interfaceMap Field" Url="html/76776a1c-4e45-48ce-9f57-e9901ab355fd.htm" /><HelpTOCNode Title="invariant Field" Url="html/37bfd189-a5aa-f7f3-b230-b9dd3c2d1226.htm" /><HelpTOCNode Title="isSafeMap Field" Url="html/ef49a14c-09a0-37f7-7154-e2d3d0ba765c.htm" /><HelpTOCNode Title="linkMap Field" Url="html/909dd666-fc18-0fc8-f09a-a5d91455d53f.htm" /><HelpTOCNode Title="machineDefMap Field" Url="html/f4203cc0-acdf-929d-c727-fcee32f49393.htm" /><HelpTOCNode Title="mode Field" Url="html/2306e640-0344-3c78-a0cc-559b1ecdf8b9.htm" /><HelpTOCNode Title="predHash Field" Url="html/bda383d8-3deb-23bc-8f7a-9706e55786a7.htm" /><HelpTOCNode Title="specMachineMap Field" Url="html/e58b7b0a-8fc3-e4ff-1012-fb25cefec480.htm" /><HelpTOCNode Title="StateTransitionCallback Field" Url="html/90893612-26ee-8963-4bf6-f9cd5e405149.htm" /><HelpTOCNode Title="succHash Field" Url="html/49f00d14-fdf9-cf2b-0868-2821971846e0.htm" /><HelpTOCNode Title="symmetryReduction Field" Url="html/5f70c7a7-e4a8-bb43-1a0d-d7fc534c42db.htm" /><HelpTOCNode Title="UserBooleanChoice Field" Url="html/464636e5-3276-37f3-9714-59e3053950e8.htm" /><HelpTOCNode Title="visibleEvents Field" Url="html/8011f951-933b-76c7-aa85-b559c3988eaa.htm" /><HelpTOCNode Title="visibleInterfaces Field" Url="html/64f3ff1c-b01e-b392-4073-9e3fd1b59d4f.htm" /></HelpTOCNode>