パラメタ化ポジションヒープ
=====================================================

定義
----------------------
| :doc:`../Algorithms/Matching/parameterized matching/prev` 化した文字列に対するポジションヒープ
	
可視化
------------

.. raw:: html

		<script src="../_static/raphael-min.js" type="text/javascript"></script>
		<script src="../_static/PPositionHeaps.js" type="text/javascript"></script>
		<div style="width:800px;height:600px">
			<div style="float:left;width:800px">
				<span>Text=</span><input id="INPUT" type="text" value="abaababaabaab"/>
			</div>
			<div style="word-wrap:break-word;"> => <enc>dummy</enc> </div>

			<div style="float:left;width:800px">
				<span>Pattern=</span><input id="PATTERN" type="text" value="ab"/>
				<input id="MATCH" type="button" value="Match"/>
			</div>
			<div style="word-wrap:break-word;"> => <penc>dummy</penc> </div>
			<div id="OUTPUT" style="float:left"></div>
			
		</div>