ValueHistory</span><span> = <a href="../PulseValueHistory/index.html">PulseValueHistory</a></span></code></div></div><h2 id="wrapper-to-access-the-pulsedecompiler.t-inside-abductivedomain.t;-all-of-the-interface-of-pulsedecompiler-is-duplicated-for-ease-of-use"><a href="#wrapper-to-access-the-pulsedecompiler.t-inside-abductivedomain.t;-all-of-the-interface-of-pulsedecompiler-is-duplicated-for-ease-of-use" class="anchor"></a>Wrapper to access the <code>PulseDecompiler.t</code> inside <code>AbductiveDomain.t<