s="class"></a><a href="SolverParametersOverlay.html" title="Solver and sampling settings.">SolverParametersOverlay</a></li><li class="current-entities indented1"><span class="separator"></span> <a href="SymbolicASPRule.html" title="Allows to represent all fundamental rule types in Answer Set Programming except weak rules :~." class="class"></a><a href="SymbolicASPRule.html" title="Allows to represent all fundamental rule types in Answer Set Programming except weak rules :~.">SymbolicASPRule</a></li><li clas