ve or negative integer value." class="class"></a><a href="BooleanLiteral.html" title="A literal, represented as a positive or negative integer value.">BooleanLiteral</a></li><li class="current-entities indented1"><span class="separator"></span> <a href="Clause.html" title="" class="class"></a><a href="Clause.html" title="">Clause</a></li><li class="current-entities indented1"><span class="separator"></span> <a href="DIMACPlainSparser$.html" title="Parser for DIMACS-CNF and PCNF (probabilistic CNF)." class="