></span> <span class="modifier_kind"><span class="modifier"></span> <span class="kind">lazy val</span></span> <span class="symbol"><span class="name">states</span><span class="result">: <span name="scala.collection.immutable.Map" class="extype">Map</span>[<span name="scala.Predef.String" class="extype">String</span>, (<a href="../FiniteDistribution.html" name="provingground.FiniteDistribution" id="provingground.FiniteDistribution" class="extype">FiniteDistribution</a>[<a href="AtomicMove.html" name="proving