<?xml version="1.0" encoding="utf-8"?><HelpTOCNode Title="StateImpl Methods" Url="html/4cc1abbe-f4ff-0997-643b-31e799174774.htm"><HelpTOCNode Title="AbstractMe Method " Url="html/75d69307-98ff-cc90-34a9-f7b9a6c1555c.htm" /><HelpTOCNode Title="AddImplMachineToStateImpl Method " Url="html/56d9016f-0e49-a8d9-762f-712c32683c81.htm" /><HelpTOCNode Title="AddSpecMachineToStateImpl Method " Url="html/af9699a0-9f6e-dd9c-896e-343166d05fad.htm" /><HelpTOCNode Title="Announce Method " Url="html/ba329fb0-1fc3-a6ab-0642-e2d7a4d7f54e.htm" /><HelpTOCNode Title="CheckAbstractStateInvariant Method " Url="html/97279472-36f8-3aed-28b4-527aa02b6fba.htm" /><HelpTOCNode Title="CheckConcreteStateInvariant Method " Url="html/eca9eb5e-26af-78f6-4dee-bbcb0e9ad08a.htm" HasChildren="true" /><HelpTOCNode Title="CheckFailure Method " Url="html/bf94faa0-664a-368d-ed58-169c83a2f53b.htm" /><HelpTOCNode Title="CheckTransInvariant Method " Url="html/2b8c31dc-4288-a1ea-5968-def49ef28e1a.htm" /><HelpTOCNode Title="Clone Method " Url="html/f27291a7-5f95-2f5d-6dbc-8a497389e9fe.htm" /><HelpTOCNode Title="CollectAbstractSuccessors Method " Url="html/04ef66fa-2a90-1cdf-12aa-b0cf688232a2.htm" /><HelpTOCNode Title="CreateInterface Method " Url="html/8aa9f21b-0c22-3d51-48d4-1bc0d8c17a57.htm" /><HelpTOCNode Title="CreateMainMachine Method " Url="html/fba390be-0cdb-f041-d0b5-89bf7e408764.htm" /><HelpTOCNode Title="CreateSpecMachine Method " Url="html/5d068f4b-bda4-377a-379f-9f79a812144d.htm" /><HelpTOCNode Title="DbgCompare Method " Url="html/2473f3da-39bb-531c-9cf8-39e709396c5b.htm" /><HelpTOCNode Title="GetAllSpecMachines Method " Url="html/cdd69a1b-43a1-7030-ab6c-bf9dfbe0a758.htm" /><HelpTOCNode Title="GetHashCode Method " Url="html/d53c2065-0175-a471-9110-e5e2d4db3ffb.htm" HasChildren="true" /><HelpTOCNode Title="GetSelectedChoiceValue Method " Url="html/0ef21bf4-1ab0-88ba-ba7f-fcca6760b349.htm" /><HelpTOCNode Title="MakeSkeleton Method " Url="html/3c92d004-72a6-520b-3abf-06ca6223e511.htm" /><HelpTOCNode Title="NextMachineInstanceNumber Method " Url="html/7f8127d1-de1a-d410-7d1d-df9ffdc1d05f.htm" /><HelpTOCNode Title="Resolve Method " Url="html/7ed15295-9bb0-e088-16a4-590e04a7bab3.htm" /><HelpTOCNode Title="SetPendingChoicesAsBoolean Method " Url="html/36f3b863-04f6-57b5-c319-68bdb2616d7b.htm" /><HelpTOCNode Title="ToPrettyString Method " Url="html/0a10f5b8-b44c-e7f9-d5c1-137077be7156.htm" /><HelpTOCNode Title="ToString Method " Url="html/13170c39-5992-eae3-a209-270a5850f175.htm" /><HelpTOCNode Title="Trace Method " Url="html/54b1fa45-08bb-525d-0696-d0f1738c598b.htm" /><HelpTOCNode Title="TraceLine Method " Url="html/cef4d99d-4ee9-09c1-7d83-011038468d0d.htm" /></HelpTOCNode>