rrent-entities indented1"><span class="separator"></span> <a href="AspifOrDIMACSPlainParserResult.html" title="Result of the aspif or dimacs parser." class="class"></a><a href="AspifOrDIMACSPlainParserResult.html" title="Result of the aspif or dimacs parser.">AspifOrDIMACSPlainParserResult</a></li><li class="current-entities indented1"><span class="separator"></span> <a href="AspifPlainParser$.html" title="Parser for a subset of the ASP Intermediate Format (aspif), enhanced with support for probabilistic ru