/span> <a href="TruncatedDistribution$$MapOpt.html" title="" class="class"></a><a href="TruncatedDistribution$$MapOpt.html" title="">MapOpt</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="TruncatedDistribution$$OptAtom.html" title="" class="class"></a><a href="TruncatedDistribution$$OptAtom.html" title="">OptAtom</a></li><li class="current-entities indented3"><span class="separator"></span> <a href="TruncatedDistribution$$PosFD.html" title="" class="class"></a><a href