ment="no" group="Ungrouped">
      <a id="size:Int"></a>
      <span class="permalink">
      <a href="../../../../../../com/cra/figaro/algorithm/factored/factors/Variable.html#size:Int" title="Permalink">
        <i class="material-icons"></i>
      </a>
    </span>
      <span class="modifier_kind">
        <span class="modifier"></span>
        <span class="kind">val</span>
      </span>
      <span class="symbol">
        <span class="name">size</span><span class="result">: <span class="extype" name=