ning.Expression" id="provingground.learning.Expression" class="extype">Expression</a>, <span name="scala.Double" class="extype">Double</span>]</span></span></li><li class="indented0 " name="provingground.learning.ExpressionEquationSolver.FixedExpressionProbs#fullBackMapExp" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="fullBackMapExp(exp:provingground.learning.Expression,cutoff:Double):Map[provingground.learning.Expression,Double]"></a><a id="fullBackMapExp(Expression,Double):Map[