les." class="object"></a><a href="AspifPlainParser$.html" title="Parser for a subset of the ASP Intermediate Format (aspif), enhanced with support for probabilistic rules.">AspifPlainParser</a></li><li class="current-entities indented1"><span class="separator"></span> <a href="BooleanClause.html" title="A disjunctive set of literals (hard clause)" class="class"></a><a href="BooleanClause.html" title="A disjunctive set of literals (hard clause)">BooleanClause</a></li><li class="current-entities indented1"><s