</dd><dt>Definition Classes</dt><dd>StringFormat</dd><dt>Annotations</dt><dd><span class="name">@inline</span><span class="args">()</span> </dd></dl></div></li><li class="indented0 " name="provingground.learning.ExpressionEquationSolver.FixedExpressionProbs#fullBackMap" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="fullBackMap(base:Map[provingground.learning.Expression,Double],cutoff:Double):Map[provingground.learning.Expression,Double]"></a><a id="fullBackMap(Map[Expression,Doubl