<?xml version="1.0" encoding="utf-8"?><HelpTOCNode Title="PrtMachine Methods" Url="html/cd119f9b-c43b-6c6d-5d15-cc095925285a.htm"><HelpTOCNode Title="DbgCompare Method " Url="html/58a00811-aef3-27dd-0ea5-185ee5e75880.htm" /><HelpTOCNode Title="GetHashCode Method " Url="html/f5a1a942-d2f5-1546-dd04-0fd954d431cb.htm" /><HelpTOCNode Title="PrtChangeState Method " Url="html/f21d9885-8e81-293e-860e-683521745ad4.htm" /><HelpTOCNode Title="PrtEnqueueEvent Method " Url="html/5d4f756b-897f-f267-47a1-14b4c0c365b4.htm" /><HelpTOCNode Title="PrtFindActionHandler Method " Url="html/70925245-3eb7-e192-61e7-187dbcd09c0a.htm" /><HelpTOCNode Title="PrtFunContGoto Method " Url="html/d9bf19cb-262b-7977-dd62-fb2bdc639e83.htm" /><HelpTOCNode Title="PrtFunContNewMachine Method " Url="html/cf5ab5bd-3cf9-0297-b36b-62b6b19d1e47.htm" /><HelpTOCNode Title="PrtFunContNondet Method " Url="html/b79354bc-81b0-1df5-114a-e9e8cac862dc.htm" /><HelpTOCNode Title="PrtFunContPop Method " Url="html/4e517501-9d14-78df-f805-af4f4ee19a4f.htm" /><HelpTOCNode Title="PrtFunContRaise Method " Url="html/26dc237f-ccb8-6ed2-6ff4-ea8a87a4058a.htm" /><HelpTOCNode Title="PrtFunContReceive Method " Url="html/cec6c8fa-bc82-84ce-f92d-c71e2a86f149.htm" /><HelpTOCNode Title="PrtFunContReturn Method " Url="html/3a03cf2d-6059-ad2b-86ed-f56ee00f7c66.htm" /><HelpTOCNode Title="PrtFunContReturnVal Method " Url="html/2059ad45-a09d-4d63-444d-90daf104938f.htm" /><HelpTOCNode Title="PrtFunContSend Method " Url="html/bb7bd2b5-0dbd-102b-57d8-8a8defd594ca.htm" /><HelpTOCNode Title="PrtIsActionInstalled Method " Url="html/5dc9d81c-3509-50df-beb9-4e804341d0a8.htm" /><HelpTOCNode Title="PrtIsTransitionPresent Method " Url="html/2c6314fb-6bb7-e17c-423c-972a48d87779.htm" /><HelpTOCNode Title="PrtPopFunStackFrame Method " Url="html/b738b9cc-79ff-d2ec-6842-46ee5370a467.htm" /><HelpTOCNode Title="PrtPopState Method " Url="html/ce6d33b8-e541-e27b-004e-b6ffbce86b8e.htm" /><HelpTOCNode Title="PrtPushExitFunction Method " Url="html/fb353d67-ff54-6ccb-9e93-a867cbe4b9c2.htm" /><HelpTOCNode Title="PrtPushFunStackFrame Method " Url="html/4ac9c251-ac96-e0a9-55f2-b3de3effac59.htm" HasChildren="true" /><HelpTOCNode Title="PrtPushState Method " Url="html/9c27df21-123b-a6b7-ba45-498970b1fe29.htm" /><HelpTOCNode Title="PrtPushTransitionFun Method " Url="html/a5ca99a8-9e13-f2d3-f375-bbf35f2efced.htm" /><HelpTOCNode Title="Resolve Method " Url="html/222eccff-5a39-9158-9649-08368c339199.htm" /><HelpTOCNode Title="ToPrettyString Method " Url="html/7033ba1f-0fbd-8873-39aa-fb5fb0697060.htm" /></HelpTOCNode>