<?xml version="1.0" encoding="utf-8"?>
<HelpTOC>

  <HelpTOCNode Id="2ec4f3a9-2752-41d0-b441-4494753d3098" Title="P.Runtime" Url="html/e8f78976-c411-c14d-7858-529199eac2e9.htm">
    <HelpTOCNode Id="913393dc-c2ae-421f-a8de-da968535536a" Title="AbstractChecker Class" Url="html/14fa8779-f06c-0e00-e662-b740a6f77f97.htm">
      <HelpTOCNode Title="AbstractChecker Constructor " Url="html/ebcc0910-6319-e6a4-d833-912200471d4b.htm" />
      <HelpTOCNode Id="e484b45e-9398-4284-96b0-568e6657d739" Title="AbstractChecker Methods" Url="html/91dff811-943b-225d-f650-a0b9ca05bae1.htm">
        <HelpTOCNode Id="f6c67452-a9d4-4245-86dc-def907841510" Title="Check Method " Url="html/bfef666d-bc39-7202-4204-8bd6f0630594.htm">
          <HelpTOCNode Title="Check Method (Int32, Int32, List(String))" Url="html/53b79f29-690a-d6b2-6e26-228478aae6e3.htm" />
          <HelpTOCNode Title="Check Method (Int32, String, List(PrtEventNode))" Url="html/03ca2e36-42a7-a13c-d0c9-53bd426fd256.htm" />
          <HelpTOCNode Title="Check Method (Int32, String, Int32, List(String))" Url="html/1d653f8f-9e1f-b445-3b2c-9155c54eaeb1.htm" />
        </HelpTOCNode>
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="0c412fa1-5bfb-4cb6-94a9-58e0b41217e9" Title="AstNode Class" Url="html/a0d43cf4-e590-5a6f-eccb-7e078f22e416.htm">
      <HelpTOCNode Title="AstNode Constructor " Url="html/4f383c06-a36f-dbc9-aca2-3340cf5ef827.htm" />
      <HelpTOCNode Title="AstNode Methods" Url="html/7dfbd358-5732-c270-befb-ec83981ab74d.htm" />
      <HelpTOCNode Id="29a26c5b-f5d8-4292-8a26-8a67bdefea4f" Title="AstNode Fields" Url="html/98d05f4a-901b-1618-12e2-88ca4eea1193.htm">
        <HelpTOCNode Title="enode Field" Url="html/829aed38-a44a-b6fe-eee1-c9dfd519f9ef.htm" />
        <HelpTOCNode Title="left Field" Url="html/128b5927-3d86-06fd-2048-831b9eb2ca9b.htm" />
        <HelpTOCNode Title="right Field" Url="html/826c94d2-a027-2aac-5993-f664916c894f.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Title="AstNodeType Enumeration" Url="html/540f49fe-8fee-58d2-e236-5ac5b82f5a58.htm" />
    <HelpTOCNode Id="83562bdc-3d62-4052-a207-770ed4356e57" Title="ConcreteChecker Class" Url="html/9a4d7777-a3d2-6746-4589-c9205f79682d.htm">
      <HelpTOCNode Title="ConcreteChecker Constructor " Url="html/1a671da5-ee1e-cb33-f029-096a1981929f.htm" />
      <HelpTOCNode Id="4357d0b6-cdf9-46b0-904d-3d9140ffe94a" Title="ConcreteChecker Methods" Url="html/a355c5e3-0d40-51d1-bd1d-53d5cfaa7861.htm">
        <HelpTOCNode Id="66ddbff4-f04e-40ca-9f73-5807fc6656c6" Title="Check Method " Url="html/9b96587b-3618-8fa3-4931-e8563ed0af77.htm">
          <HelpTOCNode Title="Check Method (Int32, String, List(PrtEventNode))" Url="html/a83fbb0e-2e03-b06a-2246-2c0034bee3bc.htm" />
          <HelpTOCNode Title="Check Method (Int32, String, List(String))" Url="html/ed5d59fb-ec5e-0ce3-b449-658b3a23263e.htm" />
        </HelpTOCNode>
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="ac06f148-1b6d-4047-9fbe-f54576b55bda" Title="CreateAction Class" Url="html/246419e0-2321-a3d7-0d7f-3aade21d5881.htm">
      <HelpTOCNode Title="CreateAction Constructor " Url="html/2fd6b135-5f58-966c-3609-804a8f81e58d.htm" />
      <HelpTOCNode Id="82a1a4d1-61bc-4218-a30c-bbf98f41e1c3" Title="CreateAction Methods" Url="html/457497a8-600f-b703-5beb-49aa5e8e6aa7.htm">
        <HelpTOCNode Title="Equals Method " Url="html/d6350aaa-2bed-244f-6ffc-90c884d83712.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/ee638048-606d-69b3-aa2a-2f0a8d8a51b0.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/dc370976-db16-b1df-67db-985975fbfeca.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="6556d990-0e74-4eeb-890e-4b70b073adae" Title="ExprNode Class" Url="html/cef308ea-a1c9-1856-c258-08032f096652.htm">
      <HelpTOCNode Id="c85a175c-2575-4496-bdbb-ea15da679f20" Title="ExprNode Constructor " Url="html/52320f1e-9216-917d-95dd-e0466a406016.htm">
        <HelpTOCNode Title="ExprNode Constructor (Int32)" Url="html/33d2eb71-5ecd-ad8d-6fcf-32d3022ddfe8.htm" />
        <HelpTOCNode Title="ExprNode Constructor (String)" Url="html/8e88f509-ffef-86a9-b993-4315ccdebcd7.htm" />
        <HelpTOCNode Title="ExprNode Constructor (QuTLOperator)" Url="html/754644ee-9ee6-9ed5-f9f0-4769459aa95c.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="9c0b03ac-53c6-44a5-ac19-96fa4dc3d46b" Title="ExprNode Properties" Url="html/ae090975-4368-fc3e-3d06-0d5d8e28e1dd.htm">
        <HelpTOCNode Title="Event Property " Url="html/e531d06e-506d-9ba9-40d6-1c0aa291aa8f.htm" />
        <HelpTOCNode Title="Operator Property " Url="html/b2605cde-5765-f267-32c4-ddcf97e0391d.htm" />
        <HelpTOCNode Title="Type Property " Url="html/e4a67f09-1cfe-02e1-7d6f-a5e4940d9f5f.htm" />
        <HelpTOCNode Title="Value Property " Url="html/cd773a82-d3b6-bbfd-b0cb-9fc7c9bb0ec0.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="61209997-f947-4c1d-ae18-2a17ad99368e" Title="ExprNode Methods" Url="html/987ee417-82ad-d00a-1991-2451aa8d76b3.htm">
        <HelpTOCNode Title="ToString Method " Url="html/4b6bfe76-a47a-5db6-74a8-66f73f0f5ba2.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="094e6b8a-f8ca-413d-a1d3-1d58fbd0964c" Title="Hashing Class" Url="html/7a51e573-3e3c-0bd3-e43d-6adb57ec017c.htm">
      <HelpTOCNode Id="cd3d2c9d-e32f-4e67-b943-7e8c52069fe3" Title="Hashing Methods" Url="html/ef456484-7d32-c638-d145-bd3e06f643d3.htm">
        <HelpTOCNode Id="514952a8-ba04-480f-91f7-47a1cf7fd025" Title="Hash Method " Url="html/07670df2-3854-dde4-3c9a-73ba0936f45d.htm">
          <HelpTOCNode Title="Hash Method " Url="html/3a23bb0f-88d8-a14d-ba4d-ca8d0e280641.htm" />
          <HelpTOCNode Title="Hash Method (IEnumerable(Int32))" Url="html/6dc74442-f05c-1864-b2c9-50542ccf97b9.htm" />
          <HelpTOCNode Title="Hash Method (Int32)" Url="html/be41f6a2-53f8-893a-27ac-8412041f0d23.htm" />
          <HelpTOCNode Title="Hash Method (Int32[])" Url="html/27cc7e6c-758e-6344-80a2-8e1c5bcd32c6.htm" />
          <HelpTOCNode Title="Hash Method (IEnumerable(Int32), Boolean)" Url="html/7632d39b-8c14-b5cd-752b-8e6f12714cac.htm" />
          <HelpTOCNode Title="Hash Method (Int32, Int32)" Url="html/13d73cae-3295-7ec0-2c3a-4cdbd5ea8e5d.htm" />
        </HelpTOCNode>
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="c4e48b05-322b-43ca-a0e8-49b9d30d3fd1" Title="PrtAnyType Class" Url="html/204f65c2-b84b-174b-cb0a-93bc32fb8e33.htm">
      <HelpTOCNode Title="PrtAnyType Constructor " Url="html/ecc3291b-36c3-0993-e6c3-344be5407a62.htm" />
      <HelpTOCNode Id="5728166a-de11-4669-b7d9-c7452642e8de" Title="PrtAnyType Methods" Url="html/bf142b56-9a33-1c49-6304-bba25f01b2e6.htm">
        <HelpTOCNode Title="ToString Method " Url="html/85f836b2-a3e7-b9af-3e90-309b3445fc89.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="6debae45-ae61-4300-8de9-54813ad069e3" Title="PrtApplicationException Class" Url="html/be14ba9e-688d-367c-eb14-b503188b7c66.htm">
      <HelpTOCNode Id="8e760c7a-7b77-49a0-b997-d9d1058e1ca2" Title="PrtApplicationException Constructor " Url="html/fde2f45a-f56e-f36a-3f51-77fdaa69ca72.htm">
        <HelpTOCNode Title="PrtApplicationException Constructor " Url="html/a9eedec3-153c-5aef-625f-866234c68483.htm" />
        <HelpTOCNode Title="PrtApplicationException Constructor (String)" Url="html/19afc52b-2db7-d3d6-8a12-d151875c611c.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtApplicationException Properties" Url="html/b6e0d32e-8eb5-3394-94f1-efd825c3cf64.htm" />
      <HelpTOCNode Title="PrtApplicationException Methods" Url="html/a038cd02-dfc0-1e5c-e25d-1aab37eba651.htm" />
      <HelpTOCNode Title="PrtApplicationException Events" Url="html/6793bfee-95ed-c0ca-057f-c0e8675e0509.htm" />
      <HelpTOCNode Title="PrtApplicationException Fields" Url="html/d63be932-27a9-caca-c00b-1258c8f33fbc.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="c29f8a77-c115-4412-8d0f-bb9aa78b8cd1" Title="PrtAssertFailureException Class" Url="html/968237e0-d0ef-23c3-77f0-77a6dae978ac.htm">
      <HelpTOCNode Id="8708aa0d-b137-4172-85dd-deee3631a9ef" Title="PrtAssertFailureException Constructor " Url="html/ab68eafc-5747-e1ad-f33e-2373b675f395.htm">
        <HelpTOCNode Title="PrtAssertFailureException Constructor " Url="html/ef00d61d-7aa2-dfc8-07d3-d50d5e151552.htm" />
        <HelpTOCNode Title="PrtAssertFailureException Constructor (String)" Url="html/31516c51-c833-e894-3107-3bae12c51ce5.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtAssertFailureException Properties" Url="html/e985a1a9-ff0a-e54b-b8a6-a6f0f2992e5d.htm" />
      <HelpTOCNode Title="PrtAssertFailureException Methods" Url="html/1d4071e0-b0c1-76d7-7909-d82714e81619.htm" />
      <HelpTOCNode Title="PrtAssertFailureException Events" Url="html/e376eced-fb6e-1fff-ff98-e1805799ccba.htm" />
      <HelpTOCNode Title="PrtAssertFailureException Fields" Url="html/bcfd4310-6d7e-c762-9b1b-81e5a126f59f.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="7d29e1d4-6af9-4184-a014-a30bf05262e4" Title="PrtAssumeFailureException Class" Url="html/3b7ea8b3-585f-02cb-49d6-31cafc400937.htm">
      <HelpTOCNode Id="41b1da7e-cd97-4a4a-be64-152b5624c5a4" Title="PrtAssumeFailureException Constructor " Url="html/08d4734d-dfc4-8330-b319-d22fa535bb7c.htm">
        <HelpTOCNode Title="PrtAssumeFailureException Constructor " Url="html/630cea3f-2588-dbfa-2d97-558dafb35450.htm" />
        <HelpTOCNode Title="PrtAssumeFailureException Constructor (String)" Url="html/950ff372-ba3a-f7d1-75d6-b86c3019af16.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtAssumeFailureException Properties" Url="html/8e604984-6aa6-2218-ea45-f3f318eff698.htm" />
      <HelpTOCNode Title="PrtAssumeFailureException Methods" Url="html/e83d2523-9618-5e28-7e51-97b3cd723783.htm" />
      <HelpTOCNode Title="PrtAssumeFailureException Events" Url="html/12a9ffeb-8305-449d-5564-d3cde61a9e61.htm" />
      <HelpTOCNode Title="PrtAssumeFailureException Fields" Url="html/254c444e-d877-a2c4-649c-44ab7b0419d7.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="21948694-52c0-455e-8048-fdf555ef4e90" Title="PrtBoolType Class" Url="html/9150dce4-66f9-fece-bc04-33a0dfbbe513.htm">
      <HelpTOCNode Title="PrtBoolType Constructor " Url="html/0f96369b-b4ee-77ac-8244-e50843156955.htm" />
      <HelpTOCNode Id="42346313-7f73-4063-8ef2-ded719693008" Title="PrtBoolType Methods" Url="html/98c3bcbf-4046-b7e6-bcab-c16bfa4b45ab.htm">
        <HelpTOCNode Title="ToString Method " Url="html/ce4f0530-dab6-229a-1d67-74952c6ff38e.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="e9d23116-cb99-4197-9e1b-580316f75dc6" Title="PrtBoolValue Class" Url="html/81a77fd6-eca6-4993-7808-e910555ad6f9.htm">
      <HelpTOCNode Id="fa47c482-d59d-4de6-923a-1f34fb18d6df" Title="PrtBoolValue Constructor " Url="html/039592be-37a1-7352-68fe-8320e3a65f5b.htm">
        <HelpTOCNode Title="PrtBoolValue Constructor " Url="html/1aaf1500-8d6d-4aa7-30fd-e7c8693a31cf.htm" />
        <HelpTOCNode Title="PrtBoolValue Constructor (Boolean)" Url="html/558e804e-ec35-6d44-cf31-bfcb823e62ab.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="a706901d-aeef-4b42-99be-b9c2de67d43c" Title="PrtBoolValue Methods" Url="html/36ab5d92-7ef0-0921-2266-08c4066fe1ec.htm">
        <HelpTOCNode Title="Clone Method " Url="html/85e74bbf-0f36-c176-7d80-13c008795f14.htm" />
        <HelpTOCNode Title="Equals Method " Url="html/0584d361-6037-8d3b-d550-17a20b51b9fa.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/7d1eb951-7c7a-32ef-6692-db185392a8d7.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/2ce4e947-421c-f837-50e3-9fc904a3c682.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="c303a5a5-0fc6-4e48-aeda-356788c0fc10" Title="PrtBoolValue Fields" Url="html/65852451-59b4-bfc7-2170-dd36ca3aa81f.htm">
        <HelpTOCNode Title="bl Field" Url="html/c91c876e-4292-eb2b-3983-b732c50d0772.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="37fc67a6-1837-4b2d-8a95-f1317f26a40d" Title="PrtContinuation Class" Url="html/0de247d1-ea1c-10e3-c72d-0feed3145aad.htm">
      <HelpTOCNode Title="PrtContinuation Constructor " Url="html/4cb9d9b9-03f4-b64c-f906-b331e6177256.htm" />
      <HelpTOCNode Id="f519dc38-ee35-44e9-a1d9-95858deb1d33" Title="PrtContinuation Methods" Url="html/c1e1641b-0f17-72b0-6fd2-a5ee2dfc1e05.htm">
        <HelpTOCNode Title="Clone Method " Url="html/9a7e63a7-2319-ede8-3ecc-0339faf1cffa.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/0d4b23a1-9a69-5bbe-0171-136809d3fa9a.htm" />
        <HelpTOCNode Title="Resolve Method " Url="html/a15690c0-3103-f7d1-af8a-998521f44191.htm" />
        <HelpTOCNode Title="ReturnAndResetNondet Method " Url="html/9fe8d93e-7242-7f6a-01ed-c83af55c9f92.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/41aa41c6-4bc0-ebb4-cd8f-d5f4894b0997.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="e1f254f2-8f30-4c85-99c7-fdf15d1e3efb" Title="PrtContinuation Fields" Url="html/7694db73-e112-d6ba-700e-2ba7b6731180.htm">
        <HelpTOCNode Title="nondet Field" Url="html/8a5b2180-9479-f079-114c-63695d6ecaa1.htm" />
        <HelpTOCNode Title="reason Field" Url="html/c5782ef2-9f73-f109-4a7e-b1e609e8c9b8.htm" />
        <HelpTOCNode Title="retLocals Field" Url="html/c7d64212-957c-2c05-a483-a83ece41b68a.htm" />
        <HelpTOCNode Title="retVal Field" Url="html/a4650578-064d-9767-7d6b-01a1b97cc235.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Title="PrtContinuationReason Enumeration" Url="html/9344f3cb-11c8-13cc-30f7-51caa89674a2.htm" />
    <HelpTOCNode Id="437f9d0f-582e-4d41-b00a-faac3e37caa3" Title="PrtDeadlockException Class" Url="html/577d59fb-6325-ffac-4d3c-5b969005514c.htm">
      <HelpTOCNode Id="9c2cd731-adda-4766-ae0d-1980f41071ba" Title="PrtDeadlockException Constructor " Url="html/bf6c9ba3-a33a-012a-5ba7-1fea5143e12c.htm">
        <HelpTOCNode Title="PrtDeadlockException Constructor " Url="html/5c298cdb-3ebc-f8b2-57cd-73972817f124.htm" />
        <HelpTOCNode Title="PrtDeadlockException Constructor (String)" Url="html/e66b09cf-66c1-1cf3-1774-4349f5a84623.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtDeadlockException Properties" Url="html/bedb2969-f8dc-f77c-9bec-74da39940f8a.htm" />
      <HelpTOCNode Title="PrtDeadlockException Methods" Url="html/9ae88f3d-cab3-07d2-70e6-71c6410784fd.htm" />
      <HelpTOCNode Title="PrtDeadlockException Events" Url="html/7a07f863-97c0-2c26-6bda-daa4a45e3c0d.htm" />
      <HelpTOCNode Title="PrtDeadlockException Fields" Url="html/0fb21bd8-9207-4aad-25e7-4aa0a77e20cb.htm" />
    </HelpTOCNode>
    <HelpTOCNode Title="PrtDequeueReturnStatus Enumeration" Url="html/8bfb9055-ee34-8620-7eff-aeaefac81bec.htm" />
    <HelpTOCNode Id="f236ca40-57bc-4a1b-995f-4edf39bb5385" Title="PrtEnumType Class" Url="html/7e2a2d82-3568-5f01-b55b-f843b64c68ee.htm">
      <HelpTOCNode Title="PrtEnumType Constructor " Url="html/61ce02e5-70b6-136f-fb29-cc218c75567b.htm" />
      <HelpTOCNode Id="79cae2b6-7da9-4e9b-a969-dae06ff3125e" Title="PrtEnumType Properties" Url="html/ac41d135-9da3-d070-2b72-7811c87dd63d.htm">
        <HelpTOCNode Title="DefaultConstant Property " Url="html/3b1210a5-c615-78ec-bf04-d18b060bbabf.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="9ee26285-4c3d-449e-9647-c288de48d044" Title="PrtEnumType Methods" Url="html/652e5365-2446-aa96-3e49-1e236a6e81f0.htm">
        <HelpTOCNode Title="ToString Method " Url="html/3ca473b9-94f6-e1b4-e093-1d576478132d.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="031dd900-a682-440b-b55c-ed6bab66974b" Title="PrtEnumType Fields" Url="html/0c268b32-8714-8721-b873-2836be3a7c20.htm">
        <HelpTOCNode Title="enumConstants Field" Url="html/a191d384-c621-1bbc-7209-69444cd13020.htm" />
        <HelpTOCNode Title="name Field" Url="html/d43df07e-6506-4f7c-edb0-409b8903169a.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="545b46b3-21df-490f-9cd5-2e2dd2df32ad" Title="PrtEnumValue Class" Url="html/10689d21-983c-d1a2-3084-ffd0d0af4d57.htm">
      <HelpTOCNode Title="PrtEnumValue Constructor " Url="html/d0b6801d-0e83-8172-4314-9dca1e947fa4.htm" />
      <HelpTOCNode Id="7cca549d-4d67-4d0e-b083-bf926cd601c6" Title="PrtEnumValue Methods" Url="html/6bc0dca4-6c0c-7764-5224-ae2ed0d6c12c.htm">
        <HelpTOCNode Title="Clone Method " Url="html/39849571-c30d-73b8-8934-04cdee071b3c.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="1e9ea644-bc4c-4510-83e4-f66d874288ca" Title="PrtEnumValue Fields" Url="html/c10a830d-4edf-1205-c381-1d16e8ff764a.htm">
        <HelpTOCNode Title="constName Field" Url="html/d9e6fb9e-d177-5345-796d-c7dacffb73e8.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="62073cf2-6e35-4479-b970-d970bb636940" Title="PrtEvent Class" Url="html/916469c3-d9c4-1f27-8153-6b4b5cab83c0.htm">
      <HelpTOCNode Title="PrtEvent Constructor " Url="html/08898eea-aaf5-30cd-95c5-97bd6451eda2.htm" />
      <HelpTOCNode Id="3511e447-09bd-4255-bcf4-a848d2f27ef7" Title="PrtEvent Methods" Url="html/0aab3030-4eb3-6f4c-efa0-5b93eca4fa1f.htm">
        <HelpTOCNode Title="GetHashCode Method " Url="html/32e7b528-d74d-0d61-3e1a-9fc4930871b2.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="398fce51-eb0e-4cf0-984d-6578f8aace43" Title="PrtEvent Fields" Url="html/17b5b2a4-9e0f-4d9f-8ca8-5f04a503b87b.htm">
        <HelpTOCNode Title="DefaultMaxInstances Field" Url="html/464f6899-3d19-f337-d88b-2c5fcfba23bc.htm" />
        <HelpTOCNode Title="doAssume Field" Url="html/f96a9c46-2959-2906-c19f-9ab06714a683.htm" />
        <HelpTOCNode Title="maxInstances Field" Url="html/757a7935-be42-bce0-db56-d0eaa60a4615.htm" />
        <HelpTOCNode Title="name Field" Url="html/8ea4effc-bc52-2950-109f-b2b296ac7cc2.htm" />
        <HelpTOCNode Title="payloadType Field" Url="html/071f7d8d-5f5c-b697-5c9d-2fd14c5b9dc1.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="7949449a-74e0-4d16-ab1b-62d73fd84f8d" Title="PrtEventBuffer Class" Url="html/e1eae25c-5deb-bb40-197a-3cf4de1e5e2c.htm">
      <HelpTOCNode Title="PrtEventBuffer Constructor " Url="html/785d0293-56b8-b124-8401-8b6921a2d600.htm" />
      <HelpTOCNode Id="7e5a359f-067c-4324-92f0-3cafe49a2114" Title="PrtEventBuffer Methods" Url="html/39db765a-1d10-931c-b555-5ea7a74bf0dc.htm">
        <HelpTOCNode Title="AbstractMe Method " Url="html/474024a1-30ac-609c-c239-6ab763baa6e1.htm" />
        <HelpTOCNode Title="CalculateInstances Method " Url="html/aaa05c33-6be3-225c-d1d6-ceb3816cc62c.htm" />
        <HelpTOCNode Title="Clone Method " Url="html/c4ef49ee-9c8b-3271-df77-58baa2db602c.htm" />
        <HelpTOCNode Title="CloneAndResolve Method " Url="html/db3ffe1c-ddb7-f110-2a76-ce94a120ccce.htm" />
        <HelpTOCNode Title="DequeueEvent Method " Url="html/37f5e551-4daa-953d-36a6-c55043f73895.htm" />
        <HelpTOCNode Title="Empty Method " Url="html/195ff1fb-9a95-7e68-4fc3-5876fe8f2220.htm" />
        <HelpTOCNode Title="EnqueueEvent Method " Url="html/db5743aa-6b43-97c3-7e9f-6b9b301996c3.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/1918a4b5-0868-cac4-490d-c07fee98b713.htm" />
        <HelpTOCNode Title="IsAbstract Method " Url="html/3112c913-7f09-509f-0853-feaac468334a.htm" />
        <HelpTOCNode Title="IsConcrete Method " Url="html/a2416800-2393-78bc-0959-1ca031ff29d6.htm" />
        <HelpTOCNode Title="IsEnabled Method " Url="html/9a17c500-a3ba-8cbc-7620-cd24d6008e45.htm" />
        <HelpTOCNode Title="RemoveDuplicatesInSuffix Method " Url="html/719f6ddf-ed37-ffe1-15f3-85700284f1ef.htm" />
        <HelpTOCNode Title="Resolve Method " Url="html/f2a14a4b-db34-3253-cc2d-a36b717efd7c.htm" />
        <HelpTOCNode Title="Size Method " Url="html/951d30e7-9487-b737-b8ba-56ab29afa3e3.htm" />
        <HelpTOCNode Title="ToPrettyString Method " Url="html/7c835263-5c2a-13d5-768e-872d7305e842.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="c94c955a-7b5e-4680-856d-9218a9e90d14" Title="PrtEventBuffer Fields" Url="html/96d45c6e-e527-c22d-19cb-af91d0c5fae2.htm">
        <HelpTOCNode Title="events Field" Url="html/9ea7415c-1fa8-b4ca-bd6a-05e8c742524e.htm" />
        <HelpTOCNode Title="idxOfLastDequeuedEvent Field" Url="html/e4eed881-f2cc-fa2f-df09-a2ea17c3f65e.htm" />
        <HelpTOCNode Title="k Field" Url="html/933f67d9-14c6-e0d5-33e0-b3560280a8c8.htm" />
        <HelpTOCNode Title="p Field" Url="html/2a58efce-8a82-314c-92d3-1b6b6b04af15.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="04f12d9d-4659-41b5-b5e5-f073de7a088c" Title="PrtEventNode Class" Url="html/a7c2d936-97d9-a7e7-4c7a-d73f5060d7eb.htm">
      <HelpTOCNode Title="PrtEventNode Constructor " Url="html/de3a54f3-a367-1280-7a15-96afb7cfc496.htm" />
      <HelpTOCNode Id="5b2d053c-228c-48d0-a47b-4d2c1c882e19" Title="PrtEventNode Methods" Url="html/c2e6764a-6a06-96c3-ef44-a3ca8fc91eef.htm">
        <HelpTOCNode Title="Clone Method " Url="html/8cd0c710-683f-daa2-e18e-29eccadd0362.htm" />
        <HelpTOCNode Title="Clone_Resolve Method " Url="html/536c9fac-9298-a2a8-35cb-377da095b746.htm" />
        <HelpTOCNode Id="3eb04c86-50b1-4d52-9482-8fcdc9cabfd0" Title="Equals Method " Url="html/eee3d3e4-bb42-b438-33b2-6df1e2c4b542.htm">
          <HelpTOCNode Title="Equals Method (PrtEventNode)" Url="html/5b9da5be-5c22-48ee-06c3-a6ff52be79f0.htm" />
        </HelpTOCNode>
        <HelpTOCNode Title="GetHashCode Method " Url="html/c56adaee-3bd4-42f3-9130-d0e2b44b38da.htm" />
        <HelpTOCNode Title="Resolve Method " Url="html/7486c828-c472-1c30-acf0-18d698574b8f.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/453e5019-d5a7-f826-0161-beaabca9c0e2.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="972f7912-a344-42b4-b5a4-acc90a852245" Title="PrtEventNode Fields" Url="html/6f4abe53-d2fb-2b52-ab73-821a21a0ae2b.htm">
        <HelpTOCNode Title="arg Field" Url="html/bc522e87-ad4f-fb84-e3de-1f182975e78b.htm" />
        <HelpTOCNode Title="ev Field" Url="html/c448e30e-ab77-d76a-a7a9-f4baca8f6824.htm" />
        <HelpTOCNode Title="senderMachineName Field" Url="html/cd3a1ea5-8f20-0815-a098-e1dc8c844ce4.htm" />
        <HelpTOCNode Title="senderMachineStateName Field" Url="html/9927598f-1189-14a4-1b8e-4d4c34345e00.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="f6cdfb4b-841f-4ada-9601-497684a657d0" Title="PrtEventNodeComparer Class" Url="html/f4f924d3-1f99-5e71-e296-d3a608ee4eca.htm">
      <HelpTOCNode Title="PrtEventNodeComparer Constructor " Url="html/70bd8cd5-e30f-c976-fcce-6dbdff53fa86.htm" />
      <HelpTOCNode Id="3b31730f-1800-4337-aaf2-86728ddd8ce8" Title="PrtEventNodeComparer Methods" Url="html/e7055cc6-29bd-993d-613b-a3ce5835ab47.htm">
        <HelpTOCNode Id="23b08337-c23d-4e66-b61d-a8f3cf1c7df8" Title="Equals Method " Url="html/4dbb1367-0d9e-263a-9404-25970ae88ec3.htm">
          <HelpTOCNode Title="Equals Method (PrtEventNode, PrtEventNode)" Url="html/7fc9a664-d9f5-092b-13bc-e53996058b45.htm" />
        </HelpTOCNode>
        <HelpTOCNode Id="a754e847-7dde-411c-a69a-bf50c9c1a10b" Title="GetHashCode Method " Url="html/590331b2-bb0f-786b-321f-c5586d76b59b.htm">
          <HelpTOCNode Title="GetHashCode Method (PrtEventNode)" Url="html/4d3f0bcd-29df-46cb-c7b3-8e912fa6be73.htm" />
        </HelpTOCNode>
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="9ac57c0f-8758-4996-a9b5-ad281ddd9195" Title="PrtEventType Class" Url="html/e72c34fd-1377-7253-51a6-9cc5ae175899.htm">
      <HelpTOCNode Title="PrtEventType Constructor " Url="html/eb57e7ad-1916-b60f-edf0-3176e1bdf083.htm" />
      <HelpTOCNode Id="843f0e20-75dc-4bdd-963f-1c5d7cbe2319" Title="PrtEventType Methods" Url="html/c3754285-89f9-914b-496c-026b043c035b.htm">
        <HelpTOCNode Title="ToString Method " Url="html/6e7562f3-a0c3-aa04-6f55-3d3ea160519f.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="ba014d8e-a201-4dca-841a-543dbbc849bc" Title="PrtEventValue Class" Url="html/0a050039-4bc9-ab31-9191-66a54f4ebc65.htm">
      <HelpTOCNode Title="PrtEventValue Constructor " Url="html/21446bf8-2933-6daa-8e7b-1ca0d5754bf6.htm" />
      <HelpTOCNode Id="f959dd08-eca8-4255-ac57-1bd3f1631d57" Title="PrtEventValue Methods" Url="html/29d4688e-d6fa-c447-184d-f5753163c6ab.htm">
        <HelpTOCNode Title="Clone Method " Url="html/04b70a0c-db09-c6e7-99ce-fdac793a5294.htm" />
        <HelpTOCNode Title="Equals Method " Url="html/94568f30-e196-5b3c-3d5a-00948d9f8d78.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/d2325460-0aac-d002-d0ef-94d832cf1501.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/89a5334b-26e1-527f-9837-6e84bd215c33.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="8115b925-bf38-40d6-af16-a927463f9876" Title="PrtEventValue Fields" Url="html/7e01edcf-59ee-a43a-3342-17593c6b4d05.htm">
        <HelpTOCNode Title="evt Field" Url="html/a1db8b5a-52ed-0611-70ad-5c74c34ff905.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="b5156a0d-804c-4dff-bfa1-e50be8f92433" Title="PrtException Class" Url="html/c89c03ea-1559-3c18-464d-04707ff17090.htm">
      <HelpTOCNode Id="a7cb9f98-d9d1-43d7-9d35-34b37a024a11" Title="PrtException Constructor " Url="html/7e08f51a-0f7c-327d-9461-783af4c9f26a.htm">
        <HelpTOCNode Title="PrtException Constructor " Url="html/0ec54135-4785-837e-1f3d-09682848b6e8.htm" />
        <HelpTOCNode Title="PrtException Constructor (String)" Url="html/3802d1f4-ed1c-63e6-6d1c-75861722f4ee.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="6a26ff8b-8649-4131-9d17-44bcd5c2a889" Title="PrtException Properties" Url="html/d108c425-2d12-c8b4-124b-17a255a1aed2.htm">
        <HelpTOCNode Title="ExceptionMessage Property " Url="html/ef84ad87-25ff-666d-f81d-820a19248883.htm" />
        <HelpTOCNode Title="StackTrace Property " Url="html/5fa4cff1-c710-87fa-382e-3467d508c50c.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="cedc80d0-59c5-49f1-ace8-9b96c481a055" Title="PrtException Methods" Url="html/60828908-9b0b-29b5-6323-45662bc04878.htm">
        <HelpTOCNode Title="ToString Method " Url="html/65411ee2-7f34-c122-5c0d-25893d55c180.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtException Events" Url="html/68d6495b-e4b9-ea08-a3b5-4837b35882f7.htm" />
      <HelpTOCNode Id="cb27ac68-5ba3-44b7-8470-6312e0f9ae65" Title="PrtException Fields" Url="html/d4a1239b-b609-483a-b082-eab00c8dbcf2.htm">
        <HelpTOCNode Title="myThreadId Field" Url="html/ab08bec0-d3e2-8570-d121-53a0b3b763ef.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="6faafa9d-d6e9-4f98-a3ac-c8cb7c9de494" Title="PrtFloatType Class" Url="html/57a5c10b-cfc5-f341-8285-cf2752499106.htm">
      <HelpTOCNode Title="PrtFloatType Constructor " Url="html/8070d3c0-620a-d191-3300-26968f410aff.htm" />
      <HelpTOCNode Id="4a6473a6-bff8-43fb-ad94-93f5fae38cc6" Title="PrtFloatType Methods" Url="html/b63b7c66-b314-518c-0859-c9e0f0e321ee.htm">
        <HelpTOCNode Title="ToString Method " Url="html/39e98452-b617-dd9d-8007-e8249aa6275c.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="2a2c4691-a8f4-4b71-9595-09b8f3a6fb78" Title="PrtFloatValue Class" Url="html/cc8f17a5-7020-0d5e-f476-e252a839dda5.htm">
      <HelpTOCNode Id="6029610a-d07f-453e-b097-c37cb187d2bb" Title="PrtFloatValue Constructor " Url="html/50838a47-a81e-bc2b-bc91-ef4e68daec32.htm">
        <HelpTOCNode Title="PrtFloatValue Constructor " Url="html/a1722948-0f93-1fc5-cc77-9035fafddb87.htm" />
        <HelpTOCNode Title="PrtFloatValue Constructor (Double)" Url="html/06139eaf-0bbe-9003-a29f-b812c458301a.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="15a50b97-e596-4081-bc15-abe02b8b45de" Title="PrtFloatValue Methods" Url="html/9936d550-1b19-70ac-d870-b1d50f38bd7c.htm">
        <HelpTOCNode Title="Clone Method " Url="html/7bc8b12c-099d-d6a3-cd5e-dbf501d83a1e.htm" />
        <HelpTOCNode Title="Equals Method " Url="html/f53cd5c9-e217-9202-5094-e5ed8d0c0550.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/68f5cabf-efc6-cd41-9bba-27a37c9a6c58.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/97423e2c-590c-d135-183e-759113513824.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="16db00b8-71e2-4d2a-851b-4000dc84ef85" Title="PrtFloatValue Fields" Url="html/dd8928f1-77c6-7adf-5be6-e07699ce620a.htm">
        <HelpTOCNode Title="ft Field" Url="html/29be0745-b107-8e8a-df8d-3c162ee98229.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="b5b8c9b8-8b15-4543-b55c-a56ea4d37973" Title="PrtFun Class" Url="html/85356ef5-4238-5ef3-0a22-58fec64b2868.htm">
      <HelpTOCNode Title="PrtFun Constructor " Url="html/332adadd-b886-0e25-238b-2fced11922a5.htm" />
      <HelpTOCNode Id="19bdd580-d131-437a-90e0-c5b8076fd47e" Title="PrtFun Properties" Url="html/fb931b1b-828c-3dd5-11d7-d786bb434b9e.htm">
        <HelpTOCNode Title="IsAnonFun Property " Url="html/1badaaf7-e1a6-f617-47a2-de91627de1ee.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="d43e12b0-f65d-4100-925a-7bfcadfe54ab" Title="PrtFun Methods" Url="html/8487a55f-bbc9-847f-3596-9d1a4c1fd906.htm">
        <HelpTOCNode Title="CreateFunStackFrame Method " Url="html/7b9d7e89-c9f6-f29d-991e-8fdb2cf99163.htm" />
        <HelpTOCNode Title="CreateLocals Method " Url="html/d948165b-99a2-a432-5a4d-e20f83127b02.htm" />
        <HelpTOCNode Title="Execute Method " Url="html/35ee617b-691a-6018-4792-05e9c6286c02.htm" />
        <HelpTOCNode Title="ExecuteToCompletion Method " Url="html/3cbb3ddb-1f21-4413-2ef6-e31a6e4c5161.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="36f3fb82-356d-4ed9-be65-5ee43b456b42" Title="PrtFun Fields" Url="html/dcb0325e-1a99-e739-c5a5-51c343d926c6.htm">
        <HelpTOCNode Title="IgnoreFun Field" Url="html/532ae438-3dd4-07ea-fb2a-6f0a4abf3f9a.htm" />
        <HelpTOCNode Title="receiveCases Field" Url="html/934d5849-ff57-ed1d-fe3b-08bbf86a2acd.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="2c8ba12e-d1b3-4f19-a2a3-6834bf115e1d" Title="PrtFunStack Class" Url="html/f4023479-e9c0-b12b-fe6d-b6430ed671c5.htm">
      <HelpTOCNode Title="PrtFunStack Constructor " Url="html/720813a8-180d-1f8e-1f26-7dae84a76e02.htm" />
      <HelpTOCNode Id="41de61e5-9079-4675-9d86-f539fe033634" Title="PrtFunStack Properties" Url="html/4fcbf738-be91-b7d6-55df-56bc8e0b4005.htm">
        <HelpTOCNode Title="TopOfStack Property " Url="html/604063d7-a86d-f9f7-a8f6-1caa2f8120ae.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="8c56cbe1-6cb6-4de7-970a-e29c425d4b5a" Title="PrtFunStack Methods" Url="html/57c87c10-fb1d-5950-cb0b-73c1c7cdfd53.htm">
        <HelpTOCNode Title="Clear Method " Url="html/3300a921-c335-143d-e163-ecf40227f6f3.htm" />
        <HelpTOCNode Title="Clone Method " Url="html/435986f0-f47d-ccd5-728e-dded032cadcb.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/8c0d5853-dab6-20bc-8103-fd3a7a73af3e.htm" />
        <HelpTOCNode Title="PopFun Method " Url="html/7c74a641-62ee-aac2-89ba-5d315e26409f.htm" />
        <HelpTOCNode Id="1bc0f594-0f92-4e31-9fd3-7050669a92bc" Title="PushFun Method " Url="html/d820b13b-2b52-480c-ba75-6e614839da18.htm">
          <HelpTOCNode Title="PushFun Method (PrtFun, List(PrtValue))" Url="html/308c5d24-eb4c-e7d9-1bf9-b548b1275f94.htm" />
          <HelpTOCNode Title="PushFun Method (PrtFun, List(PrtValue), Int32)" Url="html/9dcdb72e-6a08-4c4c-8c43-8ba77f9b37fd.htm" />
        </HelpTOCNode>
        <HelpTOCNode Title="Resolve Method " Url="html/61d5d7d2-30c6-5844-78bd-0027c2dd5225.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/502ba13a-50c8-1b56-6d3b-ee44148ae452.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="e6a27593-45d9-412a-be0b-fa865b8fd316" Title="PrtFunStackFrame Class" Url="html/28de5d6d-7ef4-1a26-42eb-1775fcb2e11b.htm">
      <HelpTOCNode Id="4b1544f9-d8c5-4999-9575-d9ee499aedb1" Title="PrtFunStackFrame Constructor " Url="html/1c6dff24-dc23-be8c-1e22-6e7347485777.htm">
        <HelpTOCNode Title="PrtFunStackFrame Constructor (PrtFun, List(PrtValue))" Url="html/b055f769-7f51-8382-140f-fcb2620cf077.htm" />
        <HelpTOCNode Title="PrtFunStackFrame Constructor (PrtFun, List(PrtValue), Int32)" Url="html/ca302f7b-df43-b0a1-4f83-b7f9872b11f8.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="bf1e4999-8b38-4d59-b673-c7b93f3de322" Title="PrtFunStackFrame Methods" Url="html/0e39549c-9418-bf45-6d02-67ddc175a335.htm">
        <HelpTOCNode Title="Clone Method " Url="html/2e63ebf8-c4f6-6a42-ee45-1f33af6beff6.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/b6668f44-da97-69cb-6443-a74be3619f87.htm" />
        <HelpTOCNode Title="Resolve Method " Url="html/455f05f2-d6d2-4776-86a1-b83320c09363.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/3ca8102b-f9ef-a503-c32d-45befc0a1271.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="b4ecf09a-aaa0-4202-b597-3ced218bcac4" Title="PrtFunStackFrame Fields" Url="html/c44d1b12-705c-5e47-56bd-723d2113a7d8.htm">
        <HelpTOCNode Title="fun Field" Url="html/7512ceb9-626e-8ecc-c8df-87168eee9078.htm" />
        <HelpTOCNode Title="locals Field" Url="html/f65c0bf9-9559-380e-637e-b507e880be7e.htm" />
        <HelpTOCNode Title="returnToLocation Field" Url="html/71f930c1-4391-6b00-0c5b-64b50b2a4102.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="85b8eda6-8558-4b0a-ad90-318cc9d417cf" Title="PrtIgnoreFun Class" Url="html/c9864486-f545-33ba-2081-c9421fc03e30.htm">
      <HelpTOCNode Title="PrtIgnoreFun Constructor " Url="html/07ef2530-40a5-ee12-d3e8-9a8795ead7ab.htm" />
      <HelpTOCNode Id="b6c7fa22-3c85-4b93-8b0c-aedfcf413bd0" Title="PrtIgnoreFun Properties" Url="html/72a32cab-ae57-9842-9898-bc7504fc9d22.htm">
        <HelpTOCNode Title="IsAnonFun Property " Url="html/cc11bd7a-1c4f-101b-3aa3-d1e48db434b6.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="65d8061a-1215-4c6c-84e7-9231241a8c51" Title="PrtIgnoreFun Methods" Url="html/aedf7bed-1681-94e6-c4c6-20d2a59ed206.htm">
        <HelpTOCNode Title="CreateFunStackFrame Method " Url="html/b292be8b-5b5a-8683-7d8c-318821fb29fb.htm" />
        <HelpTOCNode Title="CreateLocals Method " Url="html/127b8e21-2027-b5d8-42fe-6c1bfa65b80a.htm" />
        <HelpTOCNode Title="Execute Method " Url="html/c0a50af8-ce51-3e14-5ad1-85049f52606d.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtIgnoreFun Fields" Url="html/6a08b5a4-0af0-b1fd-2287-4dde02dc5b8f.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="12e20f82-3bc2-44ea-a4ba-e7b6b0c985ab" Title="PrtIllegalEnqueueException Class" Url="html/b72723ea-89a0-5ddb-f9c6-c14456a02cb8.htm">
      <HelpTOCNode Id="fa05e045-a19c-4131-87c2-7e674c3de95f" Title="PrtIllegalEnqueueException Constructor " Url="html/a8348809-610f-48a3-9441-9234ad0288c3.htm">
        <HelpTOCNode Title="PrtIllegalEnqueueException Constructor " Url="html/acee9e9e-f566-87d6-74cd-a55914eb76ba.htm" />
        <HelpTOCNode Title="PrtIllegalEnqueueException Constructor (String)" Url="html/7f526448-b936-a304-42a6-cfb472dc05e2.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtIllegalEnqueueException Properties" Url="html/12ba0487-0d14-6bef-7b5a-eb6a65135e38.htm" />
      <HelpTOCNode Title="PrtIllegalEnqueueException Methods" Url="html/daca7c6c-9bad-5047-1c04-9e2a06c107c9.htm" />
      <HelpTOCNode Title="PrtIllegalEnqueueException Events" Url="html/02eb1bea-9bcd-de4a-1f11-44de56d458dd.htm" />
      <HelpTOCNode Title="PrtIllegalEnqueueException Fields" Url="html/abf2b2bc-6a17-9207-cc78-886b52bfc588.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="528b4358-34bf-453f-8ff2-3d3ec55d42f5" Title="PrtImplMachine Class" Url="html/978d907b-c287-71fc-d30c-fe5ecd469054.htm">
      <HelpTOCNode Id="6a566099-1f04-4627-8145-83d106e5005a" Title="PrtImplMachine Constructor " Url="html/08de270c-50f4-8fe5-e567-2fbaa91cd7c5.htm">
        <HelpTOCNode Title="PrtImplMachine Constructor " Url="html/7133db12-caf8-bf99-5ead-6c7f7eceb4c2.htm" />
        <HelpTOCNode Title="PrtImplMachine Constructor (StateImpl, Int32, Boolean)" Url="html/052883ef-5454-f5e8-d372-485f1351177b.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtImplMachine Properties" Url="html/e01ec256-cad4-9e9f-97dc-8e71dc552115.htm" />
      <HelpTOCNode Id="2e0403dd-4e2d-4b91-b625-291a58545814" Title="PrtImplMachine Methods" Url="html/dbd3228d-983b-9b58-74ce-2abc9778c37b.htm">
        <HelpTOCNode Title="AbstractMe Method " Url="html/564c28a1-8c7a-2fc7-7592-0805dd878bd7.htm" />
        <HelpTOCNode Title="Clone Method " Url="html/227c2e14-3724-1df9-8e20-2df64b4a16b4.htm" />
        <HelpTOCNode Title="DbgCompare Method " Url="html/3758ad2f-ef8b-4128-23ab-3f445c0a3dc9.htm" />
        <HelpTOCNode Title="GetEventValue Method " Url="html/503310e4-0189-dcfe-dfda-51a10081560a.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/fb49bc68-65ff-2784-bb91-7786ba106423.htm" />
        <HelpTOCNode Title="IsAbstract Method " Url="html/2ed1fb8d-5bdc-ad7e-676f-0f78ade36093.htm" />
        <HelpTOCNode Title="MakeSkeleton Method " Url="html/ef495bb5-b346-a7ff-b6fd-5ddc8332fd44.htm" />
        <HelpTOCNode Title="NextInstanceNumber Method " Url="html/c5a74b65-32dd-d953-317e-ae0fae3b8e5d.htm" />
        <HelpTOCNode Title="PrtDequeueEvent Method " Url="html/76d677f8-40d5-bb4c-96ce-4670d79d84a5.htm" />
        <HelpTOCNode Title="PrtEnqueueEvent Method " Url="html/fc73d8b3-41d8-daff-8eeb-a15635ced540.htm" />
        <HelpTOCNode Title="PrtHasNullReceiveCase Method " Url="html/da7c4da2-f8fa-29d8-6b20-5725df4079fd.htm" />
        <HelpTOCNode Title="PrtIsPushTransitionPresent Method " Url="html/8a758683-be92-dc92-0ff6-23c04f821d0b.htm" />
        <HelpTOCNode Title="PrtResetTriggerAndPayload Method " Url="html/46f48230-1ad4-d404-92a3-6b0836704338.htm" />
        <HelpTOCNode Title="PrtRunStateMachine Method " Url="html/4bb1ec0c-3357-a597-5847-1622c4f4b7a8.htm" />
        <HelpTOCNode Title="PrtRunStateMachineNextChoice Method " Url="html/1c38a6e6-592d-9b56-5579-4e1a7568afef.htm" />
        <HelpTOCNode Title="PrtStepStateMachine Method " Url="html/79671438-cbc1-aebd-0bb5-c1c0ff3f4ac1.htm" />
        <HelpTOCNode Title="Resolve Method " Url="html/7beda62b-8544-abae-6e70-cc3734f4fa78.htm" />
        <HelpTOCNode Title="ToPrettyString Method " Url="html/fac7e0eb-a12b-ad98-4834-24e978687610.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/a8de01e0-fce7-b324-01a6-2a7364c88fd0.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="b68f7ebc-3dee-453f-b896-08c70121a325" Title="PrtImplMachine Fields" Url="html/812ab61f-49f7-1d14-cd07-f542f8b3a48d.htm">
        <HelpTOCNode Title="DefaultMaxBufferSize Field" Url="html/eee0f4ee-782b-b198-a117-3b7323ac2402.htm" />
        <HelpTOCNode Title="doAssume Field" Url="html/ea175a87-bf3e-0d7a-6cb0-4cb2c7d9339d.htm" />
        <HelpTOCNode Title="eventQueue Field" Url="html/8d4c26a0-944c-287e-ce07-f1dc9e6d5fc2.htm" />
        <HelpTOCNode Title="maxBufferSize Field" Url="html/121bac0e-60fb-9f7d-028e-eb5e43efd673.htm" />
        <HelpTOCNode Title="receiveSet Field" Url="html/12583a8e-0898-d0a1-de74-62385f426dd5.htm" />
        <HelpTOCNode Title="self Field" Url="html/68184936-aae2-d3e3-3207-1e4b5e222f04.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="6aeaca82-0313-45d2-96d3-40f1bbb33bf7" Title="PrtInfiniteRaiseLoop Class" Url="html/3a49f613-0730-720b-2d56-62630909adde.htm">
      <HelpTOCNode Id="e4d9e5e0-8f2f-4c63-9a58-1094a7f24688" Title="PrtInfiniteRaiseLoop Constructor " Url="html/d6e03fde-75be-f2c7-9f7a-92c6897a3f24.htm">
        <HelpTOCNode Title="PrtInfiniteRaiseLoop Constructor " Url="html/ac31bc53-924e-2fb5-e197-e13b9657f5fe.htm" />
        <HelpTOCNode Title="PrtInfiniteRaiseLoop Constructor (String)" Url="html/8e43eba4-d938-eff6-0928-a979f8b6c523.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtInfiniteRaiseLoop Properties" Url="html/82b4f1d2-886c-be86-657c-49f25685b31d.htm" />
      <HelpTOCNode Title="PrtInfiniteRaiseLoop Methods" Url="html/aaf9cf55-0a15-7e02-65b6-2b937931e4a6.htm" />
      <HelpTOCNode Title="PrtInfiniteRaiseLoop Events" Url="html/a0fdcd79-bf69-95fc-6c5a-6dac4a7100e9.htm" />
      <HelpTOCNode Title="PrtInfiniteRaiseLoop Fields" Url="html/84af9a6e-e381-6943-bf32-21fcd63a3172.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="3beea3ac-bcc9-4c71-a9a1-5f632a93a99b" Title="PrtInhabitsTypeException Class" Url="html/48b7ed9f-ac13-608f-7fde-c7d8412378b4.htm">
      <HelpTOCNode Id="c75704ca-8b06-42f5-9222-b296382c6855" Title="PrtInhabitsTypeException Constructor " Url="html/008ab409-381c-1997-f092-cceb41d9f3c1.htm">
        <HelpTOCNode Title="PrtInhabitsTypeException Constructor " Url="html/785351ab-40e9-7427-f45d-3815223a511d.htm" />
        <HelpTOCNode Title="PrtInhabitsTypeException Constructor (String)" Url="html/18bc6398-3a30-a869-cf3b-e5a0ee66d307.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtInhabitsTypeException Properties" Url="html/817a03f6-82b7-8e25-e3b8-7876dbb46e43.htm" />
      <HelpTOCNode Title="PrtInhabitsTypeException Methods" Url="html/5dd9d239-079d-8929-2cf2-9a618f50397d.htm" />
      <HelpTOCNode Title="PrtInhabitsTypeException Events" Url="html/5a13a56e-63e6-8984-0277-30bc50d5dc11.htm" />
      <HelpTOCNode Title="PrtInhabitsTypeException Fields" Url="html/5873ad09-e392-dbb8-5e78-febd2f8d4b41.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="a0f999f3-0639-4a7a-b2bb-e9098bdac5d1" Title="PrtInterfaceType Class" Url="html/16c492b8-67f2-9126-c924-42d959a061a7.htm">
      <HelpTOCNode Title="PrtInterfaceType Constructor " Url="html/3e804abb-dfd9-56b2-4c48-b6d6d61d9cc3.htm" />
      <HelpTOCNode Id="83796b9c-5b9b-44e5-b8ee-a022c93eed77" Title="PrtInterfaceType Methods" Url="html/99fb61a0-f822-4bb3-54c5-ad13f097a691.htm">
        <HelpTOCNode Title="PrtReduceValue Method " Url="html/49610678-32a2-3500-66dc-57cb1ddb4797.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/4f99a923-ded8-4590-2585-c7f9c00cfb9b.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="8e687702-ba30-497d-b0ab-376b9365756e" Title="PrtInterfaceType Fields" Url="html/3bf87959-75bd-d121-62e1-8eb630ddd872.htm">
        <HelpTOCNode Title="name Field" Url="html/d760a3f6-3d04-377a-bb2f-5278ce03e457.htm" />
        <HelpTOCNode Title="permissions Field" Url="html/b493c015-6988-d5fb-8723-1ffbaf42a5cf.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="39f1f7eb-980a-4a90-9fc6-d8aafd6b2d51" Title="PrtInterfaceValue Class" Url="html/216839e1-9278-af45-0508-1cb4cd467d45.htm">
      <HelpTOCNode Title="PrtInterfaceValue Constructor " Url="html/37d05452-ea45-694c-3d74-e42ba447eba9.htm" />
      <HelpTOCNode Id="a543010f-6441-463e-92a1-12d5242bf6f1" Title="PrtInterfaceValue Methods" Url="html/a5b1560e-88a9-4059-7ed2-ba09c1bcbb9a.htm">
        <HelpTOCNode Title="Clone Method " Url="html/e3964855-3685-465b-f266-465a6372922d.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/fdb3cd9a-47a2-58e3-2e92-8964e640ec0b.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="61b1ba35-7666-435d-9c88-2f374e7dd59c" Title="PrtInterfaceValue Fields" Url="html/05ebcb75-5e12-9e5f-7c50-2a3ed02061a3.htm">
        <HelpTOCNode Title="permissions Field" Url="html/5159bcb2-cfcd-d1b4-46f9-0630ae13e0a4.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="ca95fca4-df49-4e2b-a6eb-49bf21852462" Title="PrtInternalException Class" Url="html/cfc01335-1cad-84a3-38f6-ab59c134dad0.htm">
      <HelpTOCNode Id="1b345320-9cb4-4170-af17-e4a98143780f" Title="PrtInternalException Constructor " Url="html/58803008-9d1a-c8e0-b68c-f769ebda9610.htm">
        <HelpTOCNode Title="PrtInternalException Constructor " Url="html/903ec9e6-8212-48fa-3203-689f43396a74.htm" />
        <HelpTOCNode Title="PrtInternalException Constructor (String)" Url="html/7d40e30e-0082-84d8-0cc1-5188b2db0c6a.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtInternalException Properties" Url="html/9c272ee7-327c-bc1a-d08b-02b81616a9c6.htm" />
      <HelpTOCNode Title="PrtInternalException Methods" Url="html/3d810769-45af-f90a-8493-f53a8fa0875d.htm" />
      <HelpTOCNode Title="PrtInternalException Events" Url="html/b8fe82e5-9df4-b7da-7466-1e0fbc66a4db.htm" />
      <HelpTOCNode Title="PrtInternalException Fields" Url="html/f7133684-edad-73a3-cdd0-33d0acfc4ff7.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="a36357ea-920c-405e-b121-80bdd0da8622" Title="PrtIntType Class" Url="html/9b6b45b8-1600-c11e-76e4-6567a3d44fdd.htm">
      <HelpTOCNode Title="PrtIntType Constructor " Url="html/166341e8-a76b-e296-fcb0-3520dcc2e52a.htm" />
      <HelpTOCNode Id="9baaebe1-1a1e-4b52-9cb6-2f6c09548bc9" Title="PrtIntType Methods" Url="html/012ca550-4442-9066-5571-7ab18380d60c.htm">
        <HelpTOCNode Title="ToString Method " Url="html/4fc4e1a7-7e6c-ce58-1237-dc59edcdd7dd.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="37c9f580-5387-43c5-9f83-327bd0003dd3" Title="PrtIntValue Class" Url="html/58085d5b-26a8-3fd1-a28d-bb92f78272c4.htm">
      <HelpTOCNode Id="fcd977e4-64b2-494f-aa12-f78a893a20b5" Title="PrtIntValue Constructor " Url="html/220b5b3c-02a4-2c9b-a2dd-6a535e04a331.htm">
        <HelpTOCNode Title="PrtIntValue Constructor " Url="html/a0db8b3b-f4b4-e2cd-bba2-c02fd4c2f201.htm" />
        <HelpTOCNode Title="PrtIntValue Constructor (Int64)" Url="html/b7a3a0f9-15fb-8379-46f6-97b471dddfb8.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="7b21cb03-852c-45fa-90ee-97ece962ebb7" Title="PrtIntValue Methods" Url="html/9d75d9ce-7fcd-55a0-1ba1-cd178effcae9.htm">
        <HelpTOCNode Title="Clone Method " Url="html/0974f34d-a976-9167-0a8c-ab288f32d1b8.htm" />
        <HelpTOCNode Title="Equals Method " Url="html/a763586a-1731-1806-1366-40e1164f7630.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/b734d81f-9332-f109-3a20-296148539098.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/0086680a-026e-7880-44f3-fed46c0d39fa.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="5a3467a3-1c3b-4bcf-a5a6-4fb6262cf07a" Title="PrtIntValue Fields" Url="html/5988868c-147f-1e5a-43ac-edd171fea69b.htm">
        <HelpTOCNode Title="nt Field" Url="html/61e26fd7-0563-c71d-1c0b-979ed5c6c38a.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="1714b7c1-ccfd-4516-a7ab-6a7d413a9230" Title="PrtInvalidEqualsException Class" Url="html/2cc7e3a0-8e1d-0101-6340-0fe8f0c702b5.htm">
      <HelpTOCNode Id="7c2a4ee3-d2c3-44f6-a65f-59554480580c" Title="PrtInvalidEqualsException Constructor " Url="html/470f9d13-63f6-6c98-a9fd-4fbfb5330b47.htm">
        <HelpTOCNode Title="PrtInvalidEqualsException Constructor " Url="html/146f21f6-a1ed-7e74-c6b1-7293f8caf3ea.htm" />
        <HelpTOCNode Title="PrtInvalidEqualsException Constructor (String)" Url="html/2d1ace27-ce89-526b-ecb3-69bd60557c0a.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtInvalidEqualsException Properties" Url="html/fb35319e-e872-76f9-c985-9ee3cb6c398d.htm" />
      <HelpTOCNode Title="PrtInvalidEqualsException Methods" Url="html/1f683438-199e-990a-e78f-86284a5e3bc1.htm" />
      <HelpTOCNode Title="PrtInvalidEqualsException Events" Url="html/f3efc774-254a-da90-c345-1dde7ec20bbf.htm" />
      <HelpTOCNode Title="PrtInvalidEqualsException Fields" Url="html/3443db59-3771-0301-c55c-63330e97bbf8.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="f0f68d87-b56b-469e-815b-94aa0b0afb9f" Title="PrtInvalidPopStatement Class" Url="html/64c7ea3b-443d-278a-ee6b-391b2f6afd5b.htm">
      <HelpTOCNode Id="38e14c06-08df-42f7-9bf4-ec0d035e272b" Title="PrtInvalidPopStatement Constructor " Url="html/2e2532fd-a86d-c877-4149-a2b84e34a2af.htm">
        <HelpTOCNode Title="PrtInvalidPopStatement Constructor " Url="html/f07f6574-c076-b64f-3c21-96143b97edf4.htm" />
        <HelpTOCNode Title="PrtInvalidPopStatement Constructor (String)" Url="html/6f76a482-291c-6fa1-2960-34e2e18bc8f3.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtInvalidPopStatement Properties" Url="html/5f1684b7-02fd-98c8-2979-f003bedc0c8c.htm" />
      <HelpTOCNode Title="PrtInvalidPopStatement Methods" Url="html/30ab359b-e098-e39b-c572-bfbe85823949.htm" />
      <HelpTOCNode Title="PrtInvalidPopStatement Events" Url="html/b1ecfc7e-7a98-6783-6052-8bb42f7f0c83.htm" />
      <HelpTOCNode Title="PrtInvalidPopStatement Fields" Url="html/4a9b3b50-224d-8d5d-5a25-b7ec44285a64.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="94d6031c-9314-4de8-984f-364dd2e8855d" Title="PrtMachine Class" Url="html/6ab3bb9c-fb26-3d71-05f8-96b6a86487e3.htm">
      <HelpTOCNode Title="PrtMachine Constructor " Url="html/f16a5658-2824-e07c-73f5-e1dd8055d8f5.htm" />
      <HelpTOCNode Id="d0fd016f-6f41-4c9b-a797-071d88e74534" Title="PrtMachine Properties" Url="html/cdb394bf-fa82-03e1-d568-ee0f862c1414.htm">
        <HelpTOCNode Title="CurrentActionSet Property " Url="html/90533b89-94c1-9afe-86c3-208308058f5c.htm" />
        <HelpTOCNode Title="CurrentDeferredSet Property " Url="html/1c6927cc-6972-d9fa-1d17-dd0189055c7b.htm" />
        <HelpTOCNode Title="CurrentState Property " Url="html/4be0fbc4-a2d4-cd81-4e44-4775060de959.htm" />
        <HelpTOCNode Title="Name Property " Url="html/22cc16df-52fa-fff6-c774-390f8ad949de.htm" />
        <HelpTOCNode Title="StartState Property " Url="html/b7b80fd0-14ca-cc1e-7728-b1cd9074327a.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="d5b640ac-abad-4e6c-a159-18ee7e06c525" 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 Id="0876db33-ce40-47db-9173-c7a4c2150b77" Title="PrtPushFunStackFrame Method " Url="html/4ac9c251-ac96-e0a9-55f2-b3de3effac59.htm">
          <HelpTOCNode Title="PrtPushFunStackFrame Method (PrtFun, List(PrtValue))" Url="html/9058ca3a-f45b-1716-0ca2-77e945825da2.htm" />
          <HelpTOCNode Title="PrtPushFunStackFrame Method (PrtFun, List(PrtValue), Int32)" Url="html/3d6a25bc-3226-e4cf-d6aa-9fff8f700605.htm" />
        </HelpTOCNode>
        <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>
      <HelpTOCNode Id="2876da2e-76ee-49a8-a386-b9a46af7b75e" Title="PrtMachine Fields" Url="html/d07985eb-1c60-7b3d-02e3-9781aac15c98.htm">
        <HelpTOCNode Title="continuation Field" Url="html/3137e1cf-4c1a-0c02-162a-3ad06b67180b.htm" />
        <HelpTOCNode Title="currentPayload Field" Url="html/35506160-fb58-5ac4-6860-ef11bfc4ba8a.htm" />
        <HelpTOCNode Title="currentStatus Field" Url="html/3742c718-1f94-4e52-f42c-f201506e58b2.htm" />
        <HelpTOCNode Title="currentTrigger Field" Url="html/2ad3dd62-639d-324d-7d2b-ff7c5bf97725.htm" />
        <HelpTOCNode Title="currentTriggerSenderInfo Field" Url="html/37ee12fa-1de5-e79a-a94f-9967ccae3455.htm" />
        <HelpTOCNode Title="destOfGoto Field" Url="html/983c7b4f-2053-3c71-960f-1e219714cd7c.htm" />
        <HelpTOCNode Title="eventValue Field" Url="html/d8ea8a73-319e-6afa-37d3-77385c9fdeb3.htm" />
        <HelpTOCNode Title="fields Field" Url="html/f7de2895-9916-1c44-a658-75247c50b357.htm" />
        <HelpTOCNode Title="instanceNumber Field" Url="html/5875beef-0f7c-e964-ad1f-60f29dfc37a3.htm" />
        <HelpTOCNode Title="invertedFunStack Field" Url="html/f70fef71-51bf-6b1c-5709-ad47cc908c54.htm" />
        <HelpTOCNode Title="isSafe Field" Url="html/b022e0f3-6736-4ece-b4e1-d6a7c2cd16c3.htm" />
        <HelpTOCNode Title="nextSMOperation Field" Url="html/8c84f24f-f01f-4d5e-6463-182b51707bff.htm" />
        <HelpTOCNode Title="renamedName Field" Url="html/ff37c60e-83c2-93a8-3860-4fd06d333ed4.htm" />
        <HelpTOCNode Title="sends Field" Url="html/225b8690-bf08-d393-2d0b-3dc6f8d023f2.htm" />
        <HelpTOCNode Title="stateExitReason Field" Url="html/548097d5-9af7-1a79-519b-fcf1bf656afc.htm" />
        <HelpTOCNode Title="stateImpl Field" Url="html/be2b394e-c687-348a-ecd1-6f6b3745a8b7.htm" />
        <HelpTOCNode Title="stateStack Field" Url="html/ea3f16ea-d496-5d3b-685e-9143717fbc81.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Title="PrtMachineStatus Enumeration" Url="html/57ddc862-4a56-0518-cd1d-ab4143670712.htm" />
    <HelpTOCNode Id="0f533b06-debd-4f0d-94f4-9fd9c8810550" Title="PrtMachineType Class" Url="html/08a7487a-42ed-f502-6f9d-768722c231be.htm">
      <HelpTOCNode Title="PrtMachineType Constructor " Url="html/396123a2-3710-4534-af9c-a07b65f80957.htm" />
      <HelpTOCNode Id="a52c2650-c772-49e6-a495-61c480046690" Title="PrtMachineType Methods" Url="html/e61e2a31-123f-f13a-cf4e-503ceb9b0955.htm">
        <HelpTOCNode Title="ToString Method " Url="html/0388cec4-b7dc-6dd0-34e2-46474749509c.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="dbcb1f75-307a-4c6e-9447-a0b9fcaab7ce" Title="PrtMachineValue Class" Url="html/71eda7eb-76e2-60cf-c10a-e3db77c57696.htm">
      <HelpTOCNode Title="PrtMachineValue Constructor " Url="html/ea2b3194-f62a-3c69-78ad-981d207e5e7b.htm" />
      <HelpTOCNode Id="0373e66c-1563-437f-9d01-dc56e20d15a4" Title="PrtMachineValue Methods" Url="html/60d142b6-e9c3-f0b8-9e41-74a9ea1b79d4.htm">
        <HelpTOCNode Title="Clone Method " Url="html/b352f02e-3b84-9741-d6fe-5b278af47488.htm" />
        <HelpTOCNode Title="Equals Method " Url="html/c3618294-a916-3eb1-1da6-25efc1a7d05c.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/bd36baea-251e-f4a3-fce3-775bd4515d94.htm" />
        <HelpTOCNode Title="Resolve Method " Url="html/a0c33da1-c002-e3a8-4e7c-8b6691b84c44.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/544f607f-ccfa-55e1-18c9-c20d36b4af48.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="96a8561d-3eca-41e0-9d6a-97c25bee4ff8" Title="PrtMachineValue Fields" Url="html/0380beca-f6ea-98aa-10bd-bce337454e39.htm">
        <HelpTOCNode Title="mach Field" Url="html/60baf2d2-4668-a1e2-f49a-83d86b92f667.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="69c30c15-c9fa-4ef3-b359-503b44e7da74" Title="PrtMapKey Class" Url="html/343c5f35-17bb-7c85-8976-15e3d5435e44.htm">
      <HelpTOCNode Title="PrtMapKey Constructor " Url="html/e812560c-7df7-b0c4-673f-0d2651ab88d6.htm" />
      <HelpTOCNode Id="5023e263-e84a-4188-b5a5-ce0514061e42" Title="PrtMapKey Methods" Url="html/1bef85be-1325-8992-dfc9-b58ac9f1bb3b.htm">
        <HelpTOCNode Title="Equals Method " Url="html/de3531ab-069f-0787-c889-1e59d8c292d8.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/fbd1908c-ca18-ebca-4db9-a80c335fd1c0.htm" />
        <HelpTOCNode Title="Resolve Method " Url="html/c442913d-76b3-497d-6ad8-bf40e4b1e4a9.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="8c104063-73f6-4749-bfdb-00a99a777c14" Title="PrtMapKey Fields" Url="html/666e7fc3-05f9-ab9b-2b31-86dbd4ec1e39.htm">
        <HelpTOCNode Title="key Field" Url="html/71d33d2b-1095-555c-3ace-668702266172.htm" />
        <HelpTOCNode Title="keyIndex Field" Url="html/dfe3a6e6-7e9a-4dfa-99fa-8d7c52d808dd.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="511e2ef4-d379-461a-8dd7-4f40e6925be3" Title="PrtMapType Class" Url="html/05c30f32-0f8a-1e71-6f88-cc92af46b5c3.htm">
      <HelpTOCNode Title="PrtMapType Constructor " Url="html/b369065b-eb43-f0c6-650f-f5915ef121b8.htm" />
      <HelpTOCNode Id="90fa440a-4ea2-49e7-85ed-07ea50563c4e" Title="PrtMapType Methods" Url="html/43c49e3b-3186-149a-49c3-0cbdc4b834d0.htm">
        <HelpTOCNode Title="ToString Method " Url="html/65130d62-1872-5b49-dfee-4a3bd33d78ef.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="3de8398f-f3d8-4aa8-9eac-0c999a4c7b7a" Title="PrtMapType Fields" Url="html/fdd9ecd5-b02f-8a06-4a89-901ee741e0ee.htm">
        <HelpTOCNode Title="keyType Field" Url="html/ddbbc987-6350-fee4-593a-25dbb434e84d.htm" />
        <HelpTOCNode Title="valType Field" Url="html/f2268f17-224a-155f-e4b8-905460f242f3.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="38161bca-f705-4790-ac8b-7805d48b1d1e" Title="PrtMapValue Class" Url="html/d708e756-12cd-0935-bf11-310149ec4d03.htm">
      <HelpTOCNode Title="PrtMapValue Constructor " Url="html/6b8ae2f0-7163-ef6f-4e2f-810e01e49826.htm" />
      <HelpTOCNode Id="76066703-1284-4add-a97e-682c629abe14" Title="PrtMapValue Methods" Url="html/a4d58635-c68c-5a5b-aee3-be33ca4b7b50.htm">
        <HelpTOCNode Title="Clone Method " Url="html/89f2c55c-2fe1-ad63-5024-5eda87a0245f.htm" />
        <HelpTOCNode Title="Contains Method " Url="html/b41bf858-9ce0-abb2-4515-30b74550db87.htm" />
        <HelpTOCNode Title="Equals Method " Url="html/7798d15a-4908-8b36-1de8-b5262e3a6180.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/b803df21-0b36-a9c4-5cf0-1ead7cfd3259.htm" />
        <HelpTOCNode Title="Keys Method " Url="html/06e1c95c-38b6-27a3-5b9c-9bcbe6c5e076.htm" />
        <HelpTOCNode Title="Lookup Method " Url="html/33045b28-7568-6ca3-a284-c4b9a8c68161.htm" />
        <HelpTOCNode Title="Remove Method " Url="html/2ce28ea2-258a-f83d-ca96-22c25160e94e.htm" />
        <HelpTOCNode Title="Resolve Method " Url="html/9be9e230-8e75-7816-311b-7863dc7f9fce.htm" />
        <HelpTOCNode Title="Size Method " Url="html/9df4b3b5-9118-28bf-0bf6-4b6aab3f83ce.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/5923a089-5628-ebb4-18dc-b1d91a5d2ba3.htm" />
        <HelpTOCNode Title="Update Method " Url="html/9feab4cd-1ffb-635f-c143-ed2b4e2f35a2.htm" />
        <HelpTOCNode Title="UpdateAndReturnOldValue Method " Url="html/eae29db1-8fc8-0c63-6e20-d79e2f11c08a.htm" />
        <HelpTOCNode Title="Values Method " Url="html/141e9863-49bb-113b-28a6-39b09bdc4f15.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="39c1937e-47d1-4ef8-bfc6-d0ea98905ca5" Title="PrtMapValue Fields" Url="html/e3271a40-8e10-bd9c-b774-d32b5f02d99e.htm">
        <HelpTOCNode Title="keyToValueMap Field" Url="html/42893386-64f2-6a48-1ede-d76dd5196719.htm" />
        <HelpTOCNode Title="nextKeyIndex Field" Url="html/755a1dd2-7dce-751d-0204-e9646f9bb246.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="237a7b60-90cb-478f-8c00-66745ebf5213" Title="PrtMaxBufferSizeExceededException Class" Url="html/3755a175-1e90-9bd2-6ec5-0ef7fb161487.htm">
      <HelpTOCNode Id="f70fc548-5dd7-4a1f-91d4-905ddf3934e3" Title="PrtMaxBufferSizeExceededException Constructor " Url="html/c32d6a17-6175-d5fa-54a4-bcddb1bfebb2.htm">
        <HelpTOCNode Title="PrtMaxBufferSizeExceededException Constructor " Url="html/2de40a9b-57cc-1c83-9220-8acc88dfd0f5.htm" />
        <HelpTOCNode Title="PrtMaxBufferSizeExceededException Constructor (String)" Url="html/0d7c5a6c-feb5-3193-fe34-9cab76d2290e.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtMaxBufferSizeExceededException Properties" Url="html/b8cfd348-52bd-b9e4-041b-5d577460f88c.htm" />
      <HelpTOCNode Title="PrtMaxBufferSizeExceededException Methods" Url="html/9cf81419-a269-464c-ace1-52e03a8f5d27.htm" />
      <HelpTOCNode Title="PrtMaxBufferSizeExceededException Events" Url="html/a3655c1a-1e40-ef9e-e9ec-d78f2249ab93.htm" />
      <HelpTOCNode Title="PrtMaxBufferSizeExceededException Fields" Url="html/a805f1c0-7fe5-b292-64fc-00ce96692445.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="d3c68cfe-a6a2-402b-905e-c55c4f7727cc" Title="PrtMaxEventInstancesExceededException Class" Url="html/a96007aa-92d4-5ee5-2e33-95ed83f80636.htm">
      <HelpTOCNode Id="9bd21809-929e-49f8-9c7f-bd4605adfba1" Title="PrtMaxEventInstancesExceededException Constructor " Url="html/f7863386-efa1-94d2-8bdb-9a44350b609d.htm">
        <HelpTOCNode Title="PrtMaxEventInstancesExceededException Constructor " Url="html/9e186288-0788-4e62-a686-ad9dea451ecc.htm" />
        <HelpTOCNode Title="PrtMaxEventInstancesExceededException Constructor (String)" Url="html/484d83c7-f13a-4fc9-8b26-f48949bfd58e.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtMaxEventInstancesExceededException Properties" Url="html/504ffca7-21e1-3ab3-e459-17cfafc7eb03.htm" />
      <HelpTOCNode Title="PrtMaxEventInstancesExceededException Methods" Url="html/d8450295-1348-cb85-3135-de614b09be1a.htm" />
      <HelpTOCNode Title="PrtMaxEventInstancesExceededException Events" Url="html/c87ca06d-86c6-4bef-226f-253e95877f7c.htm" />
      <HelpTOCNode Title="PrtMaxEventInstancesExceededException Fields" Url="html/cc80ff6c-9786-6735-3cf9-ccd63b65d79b.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="f2c71b5a-8ea2-4267-821f-e45a7e27c99b" Title="PrtNamedTupleType Class" Url="html/ef53a132-5527-9e1e-302f-83b37fbe22c5.htm">
      <HelpTOCNode Title="PrtNamedTupleType Constructor " Url="html/15859d48-94f3-d92b-72a9-7110bdd7182a.htm" />
      <HelpTOCNode Id="16f55cc9-6c15-4473-8de9-ee76fd20eb0d" Title="PrtNamedTupleType Methods" Url="html/0e784dc4-50bd-47fd-48ca-838feba2454e.htm">
        <HelpTOCNode Title="ToString Method " Url="html/89cc9a25-09ed-1a77-cde6-2a3d2d2f6aa5.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="7bd3e580-4b38-4f63-896d-25a00a5045d8" Title="PrtNamedTupleType Fields" Url="html/76f53046-de6c-1b42-8148-8ca3a4282f48.htm">
        <HelpTOCNode Title="fieldNames Field" Url="html/dc5f09b2-16f3-846c-7dbd-cd04a3de47bd.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="ba4d4582-a327-4633-94e3-9e80c175447e" Title="PrtNamedTupleValue Class" Url="html/49ee09dd-3987-2226-51de-2115a627488f.htm">
      <HelpTOCNode Id="9a0fe979-b786-41dc-aabf-2ab44a9bafab" Title="PrtNamedTupleValue Constructor " Url="html/9f1fbcc6-47a7-6cd4-f608-e1e00a6b9125.htm">
        <HelpTOCNode Title="PrtNamedTupleValue Constructor " Url="html/d9f1ed24-7a73-8c6c-0a77-fd2d84afc801.htm" />
        <HelpTOCNode Title="PrtNamedTupleValue Constructor (PrtType)" Url="html/e762dc1b-0f62-34aa-5ecd-214fe468eedf.htm" />
        <HelpTOCNode Title="PrtNamedTupleValue Constructor (PrtType, PrtValue[])" Url="html/508ddbea-bdfc-a243-be40-0df1df0e687d.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="8906f696-a5dc-42b8-9234-04c28380cb12" Title="PrtNamedTupleValue Methods" Url="html/73026d3f-1f4c-1f02-4b3c-358e60237c51.htm">
        <HelpTOCNode Title="Clone Method " Url="html/bdbc4567-16e2-36e9-9971-256ead0900e9.htm" />
        <HelpTOCNode Title="Equals Method " Url="html/ca869719-1b6e-14a3-51b7-58c976160399.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/38322c8a-34dd-57d7-e4bf-34660af5d71b.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/7c60d093-eaba-baf3-2a70-4d7704e466c0.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="859d44c6-84da-466d-b517-115e636cecdb" Title="PrtNamedTupleValue Fields" Url="html/d5904599-0069-be5d-5e07-0964c5cf06cf.htm">
        <HelpTOCNode Title="fieldNames Field" Url="html/046af856-3c2b-eae5-f1e7-f4ee82b99e51.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Title="PrtNextStatemachineOperation Enumeration" Url="html/b1597367-abe8-c6e5-dd3c-3d53c485b1c4.htm" />
    <HelpTOCNode Id="fbab2ad9-618d-4777-b522-09413d6fb47f" Title="PrtNullType Class" Url="html/9ab4bf29-dded-9504-cbb4-c9e594cf8a45.htm">
      <HelpTOCNode Title="PrtNullType Constructor " Url="html/923a0006-5afe-1fb4-a78a-adb2207017d9.htm" />
      <HelpTOCNode Id="7259da78-908c-4ea4-ba5a-564e5b25d393" Title="PrtNullType Methods" Url="html/1aef9def-1529-730b-310f-9eb0729a7307.htm">
        <HelpTOCNode Title="ToString Method " Url="html/cdafb385-ea31-5547-6f07-f9f10ffd2721.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="19a7f468-9eaa-4e96-bfe2-fd47d0ebf5a2" Title="PrtSeqType Class" Url="html/ba6f6110-8e72-d8a3-03ee-470934ba44d3.htm">
      <HelpTOCNode Title="PrtSeqType Constructor " Url="html/cd01116d-895b-2969-1cf7-b12164bbf6a2.htm" />
      <HelpTOCNode Id="d46643ef-ea57-497e-a0f3-55b50b39a881" Title="PrtSeqType Methods" Url="html/afc8b010-a5e5-22b8-88b6-5da69628e254.htm">
        <HelpTOCNode Title="ToString Method " Url="html/059a6b43-ed4e-a770-e1fc-eda96a72639d.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="34da8cf1-867e-421d-b54a-bae64cc50ca5" Title="PrtSeqType Fields" Url="html/2056af34-5c27-d4c9-ccab-2d721878b99b.htm">
        <HelpTOCNode Title="elemType Field" Url="html/aa0bfe6d-e5c4-4508-8ad7-3e650e2c4252.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="e9990f18-4912-4d57-aef8-bf8f07b9e354" Title="PrtSeqValue Class" Url="html/210965a5-ad73-8891-f8b9-1f5727fa920a.htm">
      <HelpTOCNode Title="PrtSeqValue Constructor " Url="html/4ebb860b-5484-4b85-4676-7f0e61c1f6ff.htm" />
      <HelpTOCNode Id="03bdc0bc-2263-42bb-9a93-9720090ddbe5" Title="PrtSeqValue Methods" Url="html/042571c6-60f2-481f-3261-75808a86d963.htm">
        <HelpTOCNode Title="Clone Method " Url="html/4bccc3d6-53b0-7f3f-e0f8-c30fd0de10b5.htm" />
        <HelpTOCNode Title="Equals Method " Url="html/8b30b76a-091f-a372-8017-8967dace5c16.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/cb51d15f-d2ca-383f-f9ca-80c71c4d55f3.htm" />
        <HelpTOCNode Id="ebf256e5-6885-4c84-866e-f66a6076cddb" Title="Insert Method " Url="html/a6b1bd41-3ba8-e698-6853-7f8513108762.htm">
          <HelpTOCNode Title="Insert Method (Int64, PrtValue)" Url="html/bf4378cc-384a-c5bc-bb0e-9b6fb2affe20.htm" />
          <HelpTOCNode Title="Insert Method (PrtValue, PrtValue)" Url="html/90bff9c1-8962-95e2-40fe-acd6018617fe.htm" />
        </HelpTOCNode>
        <HelpTOCNode Id="f2a22bce-67a9-4a08-9593-295ea1d6a0d3" Title="Lookup Method " Url="html/31a6e536-9eef-576e-521e-84c447d737a0.htm">
          <HelpTOCNode Title="Lookup Method (Int64)" Url="html/8fe9bd70-7ab1-fc52-44e6-47b775ae7dce.htm" />
          <HelpTOCNode Title="Lookup Method (PrtValue)" Url="html/18da1c40-49ef-7c77-0c91-ce2dcf472bcb.htm" />
        </HelpTOCNode>
        <HelpTOCNode Id="0d527b6b-0bf6-4eb0-931f-d4285e4a5145" Title="Remove Method " Url="html/89f1706a-3ce2-4cd3-a6ef-9c6293b6ebb9.htm">
          <HelpTOCNode Title="Remove Method (Int64)" Url="html/cd8ba47e-449d-a11d-c39d-ba2f01b6da4b.htm" />
          <HelpTOCNode Title="Remove Method (PrtValue)" Url="html/e01ba59e-84e7-64a2-86d2-5fa7273cd85f.htm" />
        </HelpTOCNode>
        <HelpTOCNode Title="Resolve Method " Url="html/d83785b3-c06c-40e0-6854-ba71ea14049b.htm" />
        <HelpTOCNode Title="Size Method " Url="html/b0168144-bf8f-93e0-f27b-e06a582a899a.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/9b42d489-99b6-4eac-f373-7b21878d2e5d.htm" />
        <HelpTOCNode Id="9bd775ce-0d0a-4932-bc00-8703e0e59f36" Title="Update Method " Url="html/a2bb7f66-9596-366a-5ee4-255febc8ee12.htm">
          <HelpTOCNode Title="Update Method (Int32, PrtValue)" Url="html/96bfedf4-6156-0907-d6c4-ff212873428c.htm" />
          <HelpTOCNode Title="Update Method (PrtValue, PrtValue)" Url="html/ae3849c7-abe8-d349-71d9-e92375356932.htm" />
        </HelpTOCNode>
        <HelpTOCNode Title="UpdateAndReturnOldValue Method " Url="html/3d265f50-dc3c-7fc7-5cc4-7035fbc975e0.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="bb754438-6345-4f5e-b136-15a9de852804" Title="PrtSeqValue Fields" Url="html/440018b5-4972-e6c5-69a4-0cbb817af21f.htm">
        <HelpTOCNode Title="elements Field" Url="html/e8865548-e28e-9603-e196-964c9ba3150e.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="2a5c09fe-a8dc-4d91-b0d1-141ee4d7af1e" Title="PrtSpecMachine Class" Url="html/60989397-d458-d254-e5b8-fa105c14a2e9.htm">
      <HelpTOCNode Id="5d44ca34-35af-4c89-b414-5d59bcb12f76" Title="PrtSpecMachine Constructor " Url="html/6fa53981-611e-ba43-57c1-bc5a8251750a.htm">
        <HelpTOCNode Title="PrtSpecMachine Constructor " Url="html/7796b43b-1c1f-77ae-b813-397aec6c9c8e.htm" />
        <HelpTOCNode Title="PrtSpecMachine Constructor (StateImpl)" Url="html/98885d1e-88ac-c170-b67a-16b2b6c0229c.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtSpecMachine Properties" Url="html/81af2944-d8b1-ad90-57cb-4e1b11d1cb43.htm" />
      <HelpTOCNode Id="3c701127-4648-42af-a4a9-803a4bfcaa2f" Title="PrtSpecMachine Methods" Url="html/fbf61c00-7748-cc8b-b2eb-4b06820c8cc1.htm">
        <HelpTOCNode Title="Clone Method " Url="html/d06d67f4-e856-1cfe-c070-7601a8c19708.htm" />
        <HelpTOCNode Title="DbgCompare Method " Url="html/80044f82-d15a-d97c-e99b-9e3927c95196.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/0745c0ac-4bfb-5c3e-c606-d7b14055a999.htm" />
        <HelpTOCNode Title="MakeSkeleton Method " Url="html/1bbfb06d-9718-f0b7-174c-26531208ed0d.htm" />
        <HelpTOCNode Title="PrtEnqueueEvent Method " Url="html/27507fe9-68c4-5bef-d8e4-3dd1cd4df1f6.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="ff4fa1be-0cb9-4812-b01d-4e93ebac4f1a" Title="PrtSpecMachine Fields" Url="html/96f45fb2-1b91-ce09-2892-a194a85a0e9b.htm">
        <HelpTOCNode Title="currentTemperature Field" Url="html/e6242831-e56d-b5a6-757e-08867d4d113a.htm" />
        <HelpTOCNode Title="observes Field" Url="html/37af6388-62cc-640a-4063-08f69ddfc2ee.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="450c20ca-013b-4e30-86b0-ec440add10f0" Title="PrtState Class" Url="html/2edd0155-45b6-f4bc-7d62-232fa47b3ad7.htm">
      <HelpTOCNode Title="PrtState Constructor " Url="html/cfc0fa0d-0110-2b57-ce10-3caa12fbe7cc.htm" />
      <HelpTOCNode Id="16141039-da9a-404b-b4fd-07daeeb82e85" Title="PrtState Methods" Url="html/b4d64208-7925-e9ef-11d2-70f9602e37f9.htm">
        <HelpTOCNode Title="GetHashCode Method " Url="html/24ccc1d0-d7b2-8527-5ed7-12a6d9b70184.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/405bd2ee-9b2b-22c2-0f0e-27127da04dc2.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="626af6fd-4665-400e-9611-eebb36f97831" Title="PrtState Fields" Url="html/000a14c2-ac1e-6f22-988e-b63780d7b100.htm">
        <HelpTOCNode Title="deferredSet Field" Url="html/16652a9a-0abe-15fe-ba45-d68e450bf2b4.htm" />
        <HelpTOCNode Title="dos Field" Url="html/b8f2db45-d879-cf6a-2c53-63e2e9ee44e6.htm" />
        <HelpTOCNode Title="entryFun Field" Url="html/d59a8803-857f-39ad-519b-815b8eb98f8e.htm" />
        <HelpTOCNode Title="exitFun Field" Url="html/a924d1e0-d927-dc1c-cd5e-a84fca946502.htm" />
        <HelpTOCNode Title="hasNullTransition Field" Url="html/bb7f5eb7-3319-cb50-1961-775105e94e9a.htm" />
        <HelpTOCNode Title="name Field" Url="html/158c13d4-bfdc-d704-6adc-dfcdbacf2208.htm" />
        <HelpTOCNode Title="temperature Field" Url="html/d5a92cc0-7a5c-9aa3-e524-591460085863.htm" />
        <HelpTOCNode Title="transitions Field" Url="html/61ee9d85-ac0c-2215-7c5b-9df230798218.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Title="PrtStateExitReason Enumeration" Url="html/fe3a71f1-33d9-0c68-ab72-f7f1e8c5e974.htm" />
    <HelpTOCNode Id="e003c143-16e6-4698-b496-e7381a59ae8d" Title="PrtStateStack Class" Url="html/899b3343-dbcf-e6fe-3c8e-7afa470ed492.htm">
      <HelpTOCNode Title="PrtStateStack Constructor " Url="html/cb2a8e63-1a4b-b56e-b144-9b05f1411483.htm" />
      <HelpTOCNode Id="9f38e046-5695-4e8f-8d6a-ddd9ecd2f79d" Title="PrtStateStack Properties" Url="html/5de4aa26-fbfe-cbfb-de24-201af0710baf.htm">
        <HelpTOCNode Title="TopOfStack Property " Url="html/66077831-1365-1434-686e-94389df531ac.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="424721cb-0833-43aa-8a34-4c0b74308bf8" Title="PrtStateStack Methods" Url="html/4d4d70c0-3de7-975c-d921-29c9b67d5a9c.htm">
        <HelpTOCNode Title="Clone Method " Url="html/4fdcf4d2-2450-0f58-bef2-921ad8969575.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/96216c85-a710-9930-fd56-e17aa13d826c.htm" />
        <HelpTOCNode Title="HasNullTransitionOrAction Method " Url="html/00eeb644-7c16-1359-0871-42b826704706.htm" />
        <HelpTOCNode Title="PopStackFrame Method " Url="html/c95ba483-43a6-7243-d008-fbd320143d8b.htm" />
        <HelpTOCNode Title="PushStackFrame Method " Url="html/2539e834-61e8-d245-27ed-5c067092b402.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/9f36cdb8-51e1-8476-ff09-843d401a72e1.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="1bb213ab-0eeb-4983-a856-edd831484fd4" Title="PrtStateStackFrame Class" Url="html/8ac3dab0-891f-c39b-78ab-8e30aeaeb5ff.htm">
      <HelpTOCNode Title="PrtStateStackFrame Constructor " Url="html/7f4a3f78-985c-cb95-4f30-1b351fa9ef6f.htm" />
      <HelpTOCNode Id="d253ca94-a994-43f0-a03f-ee391b658220" Title="PrtStateStackFrame Methods" Url="html/7fc0d5ac-97f7-0775-1528-2747208107f2.htm">
        <HelpTOCNode Title="Clone Method " Url="html/f5725499-e5f6-28c2-6718-90afcb8d83f2.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/62c07f2e-a152-a81e-5e53-3bfe640d87cd.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/57b05959-d059-a766-cd19-19c493ba68f9.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="f5e11d2e-0536-4595-ac9b-8a456545f130" Title="PrtStateStackFrame Fields" Url="html/2b67a3cc-c01e-4bf8-8e47-c4e64db5fe2d.htm">
        <HelpTOCNode Title="actionSet Field" Url="html/c6ae3fa9-598d-b8ca-fdbc-2dc93ff2b550.htm" />
        <HelpTOCNode Title="deferredSet Field" Url="html/d8e267a1-c8c4-d602-62a2-89b53ebe3b66.htm" />
        <HelpTOCNode Title="state Field" Url="html/b70edf4d-f950-a020-4ac6-89ba4ebff7a0.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="a06cd52d-4168-447f-aff5-f15f9e9c33dd" Title="PrtTransition Class" Url="html/cf03c607-6907-af10-7872-d1c80bbf0d58.htm">
      <HelpTOCNode Title="PrtTransition Constructor " Url="html/44628140-a3c9-74ec-24b9-45dd8e388e14.htm" />
      <HelpTOCNode Title="PrtTransition Methods" Url="html/0d4f524c-d323-20da-e54d-4e9a4c53e124.htm" />
      <HelpTOCNode Id="938be23f-0628-4c06-b6af-f5b41fb3e153" Title="PrtTransition Fields" Url="html/816a4cdb-6b82-ba17-7ac8-cdba95c950ee.htm">
        <HelpTOCNode Title="gotoState Field" Url="html/127df0f2-04a0-4d6a-6afe-72abe4f9daba.htm" />
        <HelpTOCNode Title="isPushTran Field" Url="html/e05d8f53-545b-d37b-4f0d-0485399bc24b.htm" />
        <HelpTOCNode Title="transitionFun Field" Url="html/0271dd53-fa28-b471-7092-4af278bb6dfa.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="b924eab8-7baa-4517-b5cc-457dd6cc21a8" Title="PrtTupleType Class" Url="html/53677f21-b815-dd5e-6296-44bbeaabf572.htm">
      <HelpTOCNode Id="94d2fff5-bb1e-4484-b1c6-62d873394a50" Title="PrtTupleType Constructor " Url="html/58630ad7-bc41-2dfb-8041-bbf556d4c22d.htm">
        <HelpTOCNode Title="PrtTupleType Constructor " Url="html/dcd4f623-f73c-6235-88bb-958024d25902.htm" />
        <HelpTOCNode Title="PrtTupleType Constructor (PrtType[])" Url="html/b8289370-b2a1-26d9-4515-8b5ab43386e4.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="b0a12efb-5d68-4ce9-8fcf-093e054ecf67" Title="PrtTupleType Methods" Url="html/a3784e72-9c7d-23c6-71c9-ebe71807bd1f.htm">
        <HelpTOCNode Title="ToString Method " Url="html/8b670fde-8030-5d3b-c5a0-ce0e5771890f.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="b37c1c8b-461e-47c6-9496-568e6417e2f9" Title="PrtTupleType Fields" Url="html/620899f1-c515-30c9-3dfd-df8252a71bfa.htm">
        <HelpTOCNode Title="fieldTypes Field" Url="html/61585be5-0911-5ce1-940d-9bf64a4d029c.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="05fe691b-1add-41de-8de4-cece0beae83c" Title="PrtTupleValue Class" Url="html/129b9ce2-f492-6f1d-6286-f0edc890a635.htm">
      <HelpTOCNode Id="c078735d-c26b-4d7e-aa17-21d8346dc9d2" Title="PrtTupleValue Constructor " Url="html/c89bf742-7b33-e258-736f-70a9deea107a.htm">
        <HelpTOCNode Title="PrtTupleValue Constructor " Url="html/eb5e37b7-b40f-f05b-498f-6a79f88ce2e6.htm" />
        <HelpTOCNode Title="PrtTupleValue Constructor (PrtType)" Url="html/1d43b294-844d-c443-82f5-559e2350033d.htm" />
        <HelpTOCNode Title="PrtTupleValue Constructor (PrtValue[])" Url="html/a99da8ba-2a04-f9c2-ca21-6dd311d32441.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="e1081337-a622-437c-b0fd-00b80b469bb2" Title="PrtTupleValue Methods" Url="html/77098b2e-84ee-f050-d640-ffac15b5ccf0.htm">
        <HelpTOCNode Title="Clone Method " Url="html/99d7b596-22d4-709e-f51a-675ff0f31bca.htm" />
        <HelpTOCNode Title="Equals Method " Url="html/b418a420-c2be-e146-0208-6577b4347784.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/4f6de4cf-0baf-9a5e-d07e-93df340533b5.htm" />
        <HelpTOCNode Title="Resolve Method " Url="html/d257db99-ea4d-2cee-8435-3891f8525d2b.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/1a431300-e4fa-76db-d009-ba56d50709dd.htm" />
        <HelpTOCNode Title="Update Method " Url="html/4a2a9654-0909-0540-f829-5225e9e38df9.htm" />
        <HelpTOCNode Title="UpdateAndReturnOldValue Method " Url="html/f2174018-51ee-5c4b-b7b4-f36b3115cc68.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="e327d381-f160-4f1d-a373-5d17af727b21" Title="PrtTupleValue Fields" Url="html/c46b3364-4a4b-a8c2-0812-0a8bb410a871.htm">
        <HelpTOCNode Title="fieldValues Field" Url="html/4b31d2ab-4e9f-99bb-f0d2-f1b73d5d5649.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="64efbf18-de74-4f9d-93e2-352b8afb04f5" Title="PrtType Class" Url="html/034eede3-735b-e299-417f-ac11c829d248.htm">
      <HelpTOCNode Title="PrtType Constructor " Url="html/2eeceaea-52a5-d275-62b7-ea434cc553e1.htm" />
      <HelpTOCNode Id="323583aa-25ff-4a0c-92c0-b87c01b760c5" Title="PrtType Methods" Url="html/591f031c-1a07-f98d-758c-aebd046ba96b.htm">
        <HelpTOCNode Title="ToString Method " Url="html/082c916f-99f6-2525-d013-3427bdf70969.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="08fe11b3-9013-49ee-8c02-628c68146b34" Title="PrtUnhandledEventException Class" Url="html/e73fa8b8-6168-8aaf-8e72-f2b734539165.htm">
      <HelpTOCNode Id="8caf39ec-d8f3-4594-b468-867a37b6cf14" Title="PrtUnhandledEventException Constructor " Url="html/21e7d4c2-5041-1392-baff-29dc656655dd.htm">
        <HelpTOCNode Title="PrtUnhandledEventException Constructor " Url="html/3d4349a6-8452-36c4-c53d-ddde9a146472.htm" />
        <HelpTOCNode Title="PrtUnhandledEventException Constructor (String)" Url="html/7492bdf5-05bd-4a88-5a43-a3a3d828f784.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="PrtUnhandledEventException Properties" Url="html/5ce48b14-2fee-978a-12ba-cfc3946d82a6.htm" />
      <HelpTOCNode Title="PrtUnhandledEventException Methods" Url="html/ec0e8b88-2b43-f41c-9b6d-0623ef0646bb.htm" />
      <HelpTOCNode Title="PrtUnhandledEventException Events" Url="html/f6167796-b39a-45d6-3072-a85e282254d9.htm" />
      <HelpTOCNode Title="PrtUnhandledEventException Fields" Url="html/8c3e80eb-e643-808a-8b82-0e343eeae57e.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="12484a78-3a46-432d-b61c-b3163a7f7654" Title="PrtValue Class" Url="html/98a8c964-64e9-2af0-3055-0d40d143fe3e.htm">
      <HelpTOCNode Title="PrtValue Constructor " Url="html/47a2e573-f998-e795-f1f8-81112d7a9737.htm" />
      <HelpTOCNode Id="eeeafaf1-304c-4c39-a6ed-244de4243faa" Title="PrtValue Methods" Url="html/a2e1202d-ef76-320f-0de1-74716dc3a813.htm">
        <HelpTOCNode Title="Clone Method " Url="html/370a2591-b0d4-5d84-1a2f-ee99f38c14d1.htm" />
        <HelpTOCNode Title="PrtCastValue Method " Url="html/2290fcec-4b33-922f-5c10-8e2728eae0be.htm" />
        <HelpTOCNode Title="PrtConvertValue Method " Url="html/c16ecc2e-60b1-8431-69a8-562bb037603d.htm" />
        <HelpTOCNode Title="PrtInhabitsType Method " Url="html/8366aa1b-1f8b-852b-b193-7b59d42c7561.htm" />
        <HelpTOCNode Title="PrtMkDefaultValue Method " Url="html/89068d20-0dc2-0acf-a25d-4c893f8c46fb.htm" />
        <HelpTOCNode Title="Resolve Method " Url="html/1231ce1b-0fef-fcde-77ac-c112b2b3fc2a.htm" />
        <HelpTOCNode Title="Size Method " Url="html/2d6eb9da-dd09-96cd-962f-83732418966e.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/bcc6eb1f-9a00-ff1a-fa7e-e9f88ce084c8.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="9dd214ef-5869-47c4-8243-1cc5088c54c2" Title="PrtValue Fields" Url="html/6d1ada6c-3864-b53d-8ae1-0deb514371b9.htm">
        <HelpTOCNode Title="halt Field" Url="html/14450763-6db9-80fc-9cc0-f9131bc18e54.htm" />
        <HelpTOCNode Title="null Field" Url="html/1d872082-d875-bae3-a2b9-20d1d8bb2a9f.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="474bd877-d657-499a-9e62-fdfad87d3b3a" Title="PSourceContext Class" Url="html/d33d6cda-e434-e50a-6a53-cf67b28421aa.htm">
      <HelpTOCNode Id="1b82a3f9-5a4b-49d4-9c6a-70573d3b05f4" Title="PSourceContext Constructor " Url="html/36261d65-6661-b0ac-8c24-f73596518102.htm">
        <HelpTOCNode Title="PSourceContext Constructor " Url="html/7ae53486-6ccd-32de-5617-3db583fe0078.htm" />
        <HelpTOCNode Title="PSourceContext Constructor (Int32, Int32, Int32)" Url="html/4dcc02ad-7270-83bf-af53-f13e2fdb84ba.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="6ecfe052-5ff9-4c12-b417-5fc078ff928b" Title="PSourceContext Properties" Url="html/1cdc0b96-64d5-004c-f609-5dac45a8a6c7.htm">
        <HelpTOCNode Title="DocIndex Property " Url="html/328197be-ab60-f814-bb7a-46e1dd05fa93.htm" />
        <HelpTOCNode Title="LineNumber Property " Url="html/7a6e6405-0fa2-bee6-4098-6e2bc9fcc9ef.htm" />
        <HelpTOCNode Title="StartColumn Property " Url="html/def1d518-551c-748f-48c9-50084b9856a5.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="7572214f-356b-4e66-a548-360f43806646" Title="PSourceContext Methods" Url="html/7c4ae20c-7ad6-8dd0-7d6a-77fd281120fc.htm">
        <HelpTOCNode Title="CopyTo Method " Url="html/f47ffa9b-7f91-b642-177e-9622ef40f5e0.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="0dde5ccc-3032-4772-9acf-ceecef7d0117" Title="QuTLException Class" Url="html/b0c89f27-fd73-c0cb-1ea0-08260d934800.htm">
      <HelpTOCNode Id="cba7731d-d61e-46a3-989d-dadb02bd0aed" Title="QuTLException Constructor " Url="html/5f5f352c-f1d8-ae62-3a64-b1c6f4940b19.htm">
        <HelpTOCNode Title="QuTLException Constructor " Url="html/d61c16f3-8617-5cd7-ce0a-bf67811507ba.htm" />
        <HelpTOCNode Title="QuTLException Constructor (String)" Url="html/1405df9b-be33-c8e6-4843-feb0e362f3b8.htm" />
        <HelpTOCNode Title="QuTLException Constructor (SerializationInfo, StreamingContext)" Url="html/0107fbe7-b99f-e8b6-8af9-eeeec975af9b.htm" />
        <HelpTOCNode Title="QuTLException Constructor (String, Exception)" Url="html/dd8a75e3-0361-04b6-ea6c-56a67a87d4dc.htm" />
      </HelpTOCNode>
      <HelpTOCNode Title="QuTLException Properties" Url="html/aa616806-1487-6772-24e1-5550bbd10add.htm" />
      <HelpTOCNode Title="QuTLException Methods" Url="html/8e338ab0-bccf-ffbd-4582-4bbe46649e27.htm" />
      <HelpTOCNode Title="QuTLException Events" Url="html/0ce08d51-386f-5b90-a064-c49e2950b647.htm" />
    </HelpTOCNode>
    <HelpTOCNode Title="QuTLOperator Enumeration" Url="html/3a8893d8-bdfc-46f9-5153-461485b5c0fa.htm" />
    <HelpTOCNode Id="845a1749-2bf3-4853-a420-497bdc433269" Title="QuTLParser Class" Url="html/5e79f25a-5d5e-db41-76d1-a241d215b125.htm">
      <HelpTOCNode Title="QuTLParser Constructor " Url="html/1a3c156c-c034-e73c-6373-c684b857721f.htm" />
      <HelpTOCNode Id="f9d65461-b309-43e7-957d-2f8e3efd6cc6" Title="QuTLParser Methods" Url="html/a635da8a-c992-528c-846a-400360e60ded.htm">
        <HelpTOCNode Title="BuildAst Method " Url="html/35ba9951-227e-51e0-6a60-92d087e27387.htm" />
        <HelpTOCNode Id="df7eac88-3fca-414f-9fd9-a681dff146d7" Title="Print Method " Url="html/7ebc7890-2490-b20c-3769-f2ec16e0af12.htm">
          <HelpTOCNode Title="Print Method " Url="html/783afc1f-94d5-a72a-483c-d5b67b5b7521.htm" />
          <HelpTOCNode Title="Print Method (AstNode)" Url="html/1680857f-d394-844f-a8af-03300ab73288.htm" />
        </HelpTOCNode>
      </HelpTOCNode>
      <HelpTOCNode Id="98bbfcea-5b01-4bff-a2c2-f074dbb09013" Title="QuTLParser Fields" Url="html/12e2fc5e-300b-d1ce-45a8-7a94bd2f1a16.htm">
        <HelpTOCNode Title="formulae Field" Url="html/2e347c5b-c6aa-b16f-230d-9798ae5c0291.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="006ee00d-d3ff-4fc7-86a1-f16e7a31ef73" Title="SendAction Class" Url="html/90563b85-2810-d810-6e14-f3f9e471b662.htm">
      <HelpTOCNode Title="SendAction Constructor " Url="html/6fa7095e-f7b4-abe4-c553-7161b074a8e7.htm" />
      <HelpTOCNode Id="aa6b27e3-5c63-4b2b-a591-f15705110572" Title="SendAction Methods" Url="html/3a6d36b5-08b6-40da-7f03-0892bc5a398c.htm">
        <HelpTOCNode Title="Equals Method " Url="html/9c04478d-7e2a-0c6d-ba5e-7a09a24f5d69.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/4bdba92c-542a-8510-6dee-f51a5a748d18.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/d02ef82c-2413-7776-467f-dcd980d26418.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="999b783f-7ca3-4022-9174-3a5a255ad8f6" Title="StateImpl Class" Url="html/fb03cbb6-2e14-92d0-5450-9f65abac2a77.htm">
      <HelpTOCNode Title="StateImpl Constructor " Url="html/7d750367-4b03-1653-db55-2d58789c3dcd.htm" />
      <HelpTOCNode Id="d74f6949-1d87-48e7-a90f-8ef7c7e5110e" Title="StateImpl Properties" Url="html/c971db94-1e56-e4af-c4c7-f05e9ce57de7.htm">
        <HelpTOCNode Title="Deadlock Property " Url="html/a4b62a8b-642a-ad5b-85bf-fe7cc0a67e47.htm" />
        <HelpTOCNode Title="EnabledMachines Property " Url="html/9c96fae8-92d2-8c6b-d35c-d7d82539fcb7.htm" />
        <HelpTOCNode Title="Exception Property " Url="html/06a720fd-9347-8bea-7919-095f1647965b.htm" />
        <HelpTOCNode Title="ImplMachines Property " Url="html/a547aea3-4501-7178-de28-5b75f9840476.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="f6fd7cd3-acf5-45cc-98fd-5b83ba96e9c1" 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 Id="747597ac-285d-4dd5-b804-619185356888" Title="CheckConcreteStateInvariant Method " Url="html/eca9eb5e-26af-78f6-4dee-bbcb0e9ad08a.htm">
          <HelpTOCNode Title="CheckConcreteStateInvariant Method " Url="html/8847586a-2186-0a16-6dd5-0489568a41d4.htm" />
          <HelpTOCNode Title="CheckConcreteStateInvariant Method (Int32)" Url="html/24a01cd2-8cff-5aa3-220d-b561ba0aeae1.htm" />
        </HelpTOCNode>
        <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 Id="4b6b0f89-559a-4a35-a0f5-c3dbdccedc6d" Title="GetHashCode Method " Url="html/d53c2065-0175-a471-9110-e5e2d4db3ffb.htm">
          <HelpTOCNode Title="GetHashCode Method " Url="html/d07e8e71-ae9a-fc1f-c73e-b5ae3cc7936b.htm" />
          <HelpTOCNode Title="GetHashCode Method (Boolean)" Url="html/063a4766-8770-8ccc-139a-60c5c41f6709.htm" />
        </HelpTOCNode>
        <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>
      <HelpTOCNode Id="91fce25e-40ee-4579-a69c-a5bf5270ab4f" 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>
    </HelpTOCNode>
    <HelpTOCNode Title="StateImpl.CreateMachineCallbackDelegate Delegate" Url="html/701e5505-b462-2a82-4efb-f02a7fa49a10.htm" />
    <HelpTOCNode Title="StateImpl.CreateMachineDelegate Delegate" Url="html/416fd416-ece8-c13e-a608-288db6d7bdee.htm" />
    <HelpTOCNode Title="StateImpl.CreateSpecDelegate Delegate" Url="html/74769b04-56e3-900c-2cdf-5895d3eb2419.htm" />
    <HelpTOCNode Title="StateImpl.DequeueCallbackDelegate Delegate" Url="html/eb7b3d77-9f70-8044-b719-53e05701f994.htm" />
    <HelpTOCNode Title="StateImpl.ExploreMode Enumeration" Url="html/4f78ffa9-9936-b9e4-4dc5-1f977d922c54.htm" />
    <HelpTOCNode Title="StateImpl.GetBooleanChoiceDelegate Delegate" Url="html/4202886b-bb46-6860-2fdb-7c1775461211.htm" />
    <HelpTOCNode Title="StateImpl.StateTransitionCallbackDelegate Delegate" Url="html/8121949b-be53-6b3d-2c3a-3de03332098f.htm" />
    <HelpTOCNode Id="507f0600-271d-486d-90db-1dde1db25d92" Title="StateImpl.SuccessorFound Class" Url="html/3ed20857-1fa8-9acb-5fd3-ea38dc5a06b1.htm">
      <HelpTOCNode Title="StateImpl.SuccessorFound Constructor " Url="html/8b77cba6-7b2b-bc0d-0c25-d8bbb1a3edd3.htm" />
      <HelpTOCNode Title="SuccessorFound Properties" Url="html/ec18ef44-05bb-a5d0-ada5-025e3126fda8.htm" />
      <HelpTOCNode Title="SuccessorFound Methods" Url="html/f8fb8a91-07b5-bf83-d1c0-5b7462eee4f6.htm" />
      <HelpTOCNode Title="SuccessorFound Events" Url="html/02c2344f-db6d-46f5-b5fc-270d99ce79f9.htm" />
      <HelpTOCNode Id="3b08ad27-2094-4ae5-9b74-9dc003121e88" Title="SuccessorFound Fields" Url="html/a4b249cf-518d-0207-a452-ca956cd31112.htm">
        <HelpTOCNode Title="a Field" Url="html/1dc1b519-13ce-0212-d097-40831b35e705.htm" />
        <HelpTOCNode Title="ap Field" Url="html/d0b3c186-282b-dbe8-0895-f2d58d76d72d.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="eafdd68e-f222-4876-9501-48de8368952c" Title="StateImplComparer Class" Url="html/28e8a757-b3af-1825-bd1e-afb9159d0719.htm">
      <HelpTOCNode Title="StateImplComparer Constructor " Url="html/ffdeb723-3185-9982-47e3-ee9a9f0e5e9d.htm" />
      <HelpTOCNode Id="e3e62736-b686-4d12-bb01-4a1bf0c25c77" Title="StateImplComparer Methods" Url="html/cd608214-abe2-d710-1769-249abdc3cae1.htm">
        <HelpTOCNode Id="f71f7156-763e-4011-b55f-02f3c1598ae4" Title="Equals Method " Url="html/73403dcb-76e9-02c9-ff71-8842140138c2.htm">
          <HelpTOCNode Title="Equals Method (StateImpl, StateImpl)" Url="html/6f016f58-6084-c95c-c0f1-ca83d4f23038.htm" />
        </HelpTOCNode>
        <HelpTOCNode Id="7e3a26c4-0418-475a-a1bc-3ec7d566c3e3" Title="GetHashCode Method " Url="html/3180e9da-256b-ef30-2e8d-1e1a355ec557.htm">
          <HelpTOCNode Title="GetHashCode Method (StateImpl)" Url="html/9fe9e79e-9cec-5958-8e64-73aad9f78fbf.htm" />
        </HelpTOCNode>
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Title="StateTemperature Enumeration" Url="html/4946a7e5-0e7f-fab2-9682-6c6ef9cd79ee.htm" />
    <HelpTOCNode Id="fe6c74ef-9185-487f-af28-9a084eb96da8" Title="TestMCer Class" Url="html/dbc8d882-a449-719e-7d9e-965b92e874fd.htm">
      <HelpTOCNode Title="TestMCer Constructor " Url="html/c4cdc0a6-3d5a-375a-92fb-c5e4c054575f.htm" />
      <HelpTOCNode Id="6b175230-bf1d-437a-98a2-ba607d2db3c5" Title="TestMCer Methods" Url="html/7dbd7115-b2c9-9803-59b0-ce46237c3cab.htm">
        <HelpTOCNode Title="Parse Method " Url="html/f458a31b-a230-8ee8-93e8-0b656070f5c6.htm" />
        <HelpTOCNode Title="Testing Method " Url="html/c19cc0bb-6b85-a5fc-3670-cce62939b714.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="052fcb59-60ea-465c-b819-05f052d41723" Title="TestMCer Fields" Url="html/4f4bc36c-2695-dab2-8be7-63576b77c5c2.htm">
        <HelpTOCNode Title="processEvent Field" Url="html/1ecfe230-65a3-2880-e449-e9b009651b66.htm" />
        <HelpTOCNode Title="queueContent Field" Url="html/7b2167ba-c984-f86b-1f38-b65532e56249.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
    <HelpTOCNode Id="de20a530-695a-4101-8165-bbcbba1b4b4f" Title="VisibleAction Class" Url="html/6775c187-b0a2-2a31-2e6b-69a2cd9f7a89.htm">
      <HelpTOCNode Title="VisibleAction Constructor " Url="html/077c441b-20ca-9382-47c5-6bca9eca7d8d.htm" />
      <HelpTOCNode Title="VisibleAction Methods" Url="html/94f27569-736f-947e-5212-fe19f2db8f3d.htm" />
    </HelpTOCNode>
    <HelpTOCNode Id="eb6e4735-e0e6-4520-9129-a33465d64021" Title="VisibleTrace Class" Url="html/5f091eea-c499-526d-9f73-5fd91e04e05f.htm">
      <HelpTOCNode Title="VisibleTrace Constructor " Url="html/67469b57-1d1a-3b0c-fa09-e27c65a99889.htm" />
      <HelpTOCNode Id="560000c2-aac5-4f95-a3fb-af9b8b9996d8" Title="VisibleTrace Properties" Url="html/6a133fc9-fecf-a93b-7c56-1897f75cd58c.htm">
        <HelpTOCNode Title="Trace Property " Url="html/514a2705-8448-84eb-f70b-0f919b1ddd59.htm" />
      </HelpTOCNode>
      <HelpTOCNode Id="45cfc08c-b0bb-474e-ac95-5a0a1e810892" Title="VisibleTrace Methods" Url="html/26a01894-baf3-59d7-8166-701f252d4de2.htm">
        <HelpTOCNode Id="da2baa37-4495-4777-a02f-737f5622ad62" Title="AddAction Method " Url="html/39b68c7d-1536-be6e-2a43-56ddf2e0c105.htm">
          <HelpTOCNode Title="AddAction Method (String, String)" Url="html/de42832e-df6b-d493-3c8d-8f93573d347d.htm" />
          <HelpTOCNode Title="AddAction Method (Tuple(String, Int32), PrtEventValue, PrtValue)" Url="html/08b22a32-2492-d3bd-2bb2-a8d5f5737423.htm" />
        </HelpTOCNode>
        <HelpTOCNode Title="Equals Method " Url="html/ab4362ba-cbd2-5c8d-9e2e-6476ecb3db67.htm" />
        <HelpTOCNode Title="GetHashCode Method " Url="html/4c4d640f-8df9-b38d-3d31-4b5a065f164c.htm" />
        <HelpTOCNode Title="ToString Method " Url="html/7b007282-bb13-e27d-3b29-31c9fe710d3a.htm" />
      </HelpTOCNode>
    </HelpTOCNode>
  </HelpTOCNode>
</HelpTOC>
