symbols</span><span class="result">: <span name="scala.Array" class="extype">Array</span>[<span name="scala.Predef.String" class="extype">String</span>]</span></span></li><li class="indented0 " name="input.ProbabilisticAnswerSetProgram#symbolsSet" group="Ungrouped" fullComment="no" data-isabs="false" visbl="pub"><a id="symbolsSet:scala.collection.mutable.HashMap[aspIOutils.Pred,input.AspifPlainParser.AspifEli]"></a><a id="symbolsSet:HashMap[Pred,AspifEli]"></a> <span class="permalink"><a href="../input/Prob