--- /dev/null
+var edit__cost_8h =
+[
+ [ "PRIVATE", "edit__cost_8h.html#a5e151c615eda34903514212f05a5ccf8", null ],
+ [ "INF", "edit__cost_8h.html#a12c2040f25d8e3a7b9e1c2024c618cb6", null ],
+ [ "CostMatrix", "edit__cost_8h.html#a92d274fbf287cf304b0668563743669b", null ],
+ [ "sep", "edit__cost_8h.html#ac7fcee6a970d3d32c298ef3c54bd4b34", null ],
+ [ "coding", "edit__cost_8h.html#a14ca1f118fca8ebd3d081e9e799e82fc", null ],
+ [ "EditCost", "edit__cost_8h.html#adc8388ac754b16c6bcbe3d8a71b42255", null ],
+ [ "UsualCost", "edit__cost_8h.html#af1e8d4a4444b687a16449e78df8f1964", null ],
+ [ "ShapiroCost", "edit__cost_8h.html#ae7e2e4a868752ffe201852d93e6ac8d1", null ]
+];
\ No newline at end of file