<map id="NPL::A1::Forms::VauWithEnvironment" name="NPL::A1::Forms::VauWithEnvironment">
<area shape="rect" id="node2" href="$db/d17/a01148.xhtml#a098ba242ab8740c96e08ee08f6cafd0d" title="断言并解引用非空指针。 " alt="" coords="343,56,449,83"/>
<area shape="rect" id="node6" href="$dd/dad/a01235.xhtml#a08ba334fc5d7180bdc8bc8d40617f41b" title="规约并检查成功：调用 Reduce 并检查结果。 " alt="" coords="309,239,483,265"/>
<area shape="rect" id="node20" href="$dd/dad/a01235.xhtml#a8a2bad7b8b25b48ae88e05f9d45be512" title="解析环境。 " alt="" coords="299,165,493,192"/>
<area shape="rect" id="node23" href="$d2/d49/a01067.xhtml#acc43cfc7d3bde2c579ded2f614fed2b2" title="转移值创建对应的 std::shared_ptr 实例的对象。 " alt="" coords="327,336,465,363"/>
<area shape="rect" id="node3" href="$db/d17/a01148.xhtml#a889caf8a893711767dd7b43ff91ab3bc" title="断言并返回可解引用的迭代器。 " alt="" coords="555,5,674,32"/>
<area shape="rect" id="node5" href="$d9/d7c/a01073.xhtml#a20ec2b1ba257b5dda73cf367c6bef6af" title="CHRLib::p" alt="" coords="1011,107,1093,133"/>
<area shape="rect" id="node4" href="$de/d2c/a01553.xhtml#ga6cb5548a5f5d6fa8b24636ade871ca6b" title="ystdex::is_undereferenceable" alt="" coords="736,5,927,32"/>
<area shape="rect" id="node7" href="$dd/dad/a01235.xhtml#a907c4698c149a28f3b04703aa6d3de15" title="NPLA1 表达式节点规约：调用至少一次求值例程规约子表达式。 " alt="" coords="553,309,676,336"/>
<area shape="rect" id="node8" href="$df/dd5/a01115.xhtml#aa02682ed0d90fab9a9be7c9602052c46" title="NPL::CheckReducible" alt="" coords="757,208,906,235"/>
<area shape="rect" id="node9" href="$dd/dad/a01235.xhtml#a8475ba316a0a4ccc4665dcc3b8d84d9e" title="调用守护遍。 " alt="" coords="756,259,907,285"/>
<area shape="rect" id="node10" href="$dd/dad/a01235.xhtml#a758f2850b63bd754195038c3a43830ce" title="调用叶遍。 " alt="" coords="762,309,901,336"/>
<area shape="rect" id="node11" href="$dd/dad/a01235.xhtml#a1dbb6e49aed14b75d407878c8f81da4e" title="调用列表遍。 " alt="" coords="763,360,899,387"/>
<area shape="rect" id="node12" href="$d2/d49/a01067.xhtml#a2d2bcf981dce211984f79db263dcf282" title="循环重复调用：代替直接使用 do&#45;while 语句以避免过多引入作用域外的变量。 " alt="" coords="756,411,907,437"/>
<area shape="rect" id="node18" href="$d2/d49/a01067.xhtml#abbfb9edb6ffe0092b3b9de17cdcf44c4" title="ystdex::type_id" alt="" coords="776,461,887,488"/>
<area shape="rect" id="node19" href="$dd/d0c/a01368.xhtml#a4bace08ca6c25310009aa5ca5fcbab54" title="YSLib::YAssert" alt="" coords="775,512,887,539"/>
<area shape="rect" id="node13" href="$d2/d49/a01067.xhtml#acb48e0365079b7bd182a7e707a01d559" title="调用可调用对象，保证返回值非空。 " alt="" coords="975,411,1129,437"/>
<area shape="rect" id="node14" href="$d7/d8d/a01288.xhtml#aae9a4274b695bbd13a6922eb9bd62bf8" title="ystdex::details::invoke\l_nonvoid_impl" alt="" coords="1177,403,1328,445"/>
<area shape="rect" id="node15" href="$d2/d49/a01067.xhtml#a433219290b7b978fd24999f224ce722a" title="调用可调用对象。 " alt="" coords="1376,411,1481,437"/>
<area shape="rect" id="node16" href="$d7/d8d/a01288.xhtml#abf5d878c1d3c227fde56466ff6c828e7" title="ystdex::details::invoke_impl" alt="" coords="1529,411,1712,437"/>
<area shape="rect" id="node17" href="$d9/d7c/a01073.xhtml#a8d7a21dcb931d2d1da9c71600bfb57ba" title="CHRLib::f" alt="" coords="1760,411,1837,437"/>
<area shape="rect" id="node21" href="$df/dbc/a01004.xhtml#adc39e1c6ef961bb41576a9724d5cdc28" title="访问指定类型对象指针。 " alt="" coords="547,158,683,199"/>
<area shape="rect" id="node22" href="$d2/d49/a01067.xhtml#ae1c7e2fc570d13d7e13614ce6674c1dd" title="ystdex::make_observer" alt="" coords="753,157,909,184"/>
<area shape="rect" id="node24" href="$dd/dba/a01545.xhtml#ga719b8c617fa1d0ee230211927d2a99eb" title="使用指定类型的初始化列表构造指定类型的 std::shared_ptr 对象。 " alt="" coords="541,360,688,387"/>
</map>
