ator"></span> <a href="BooleanFormulaWithCosts.html" title="A collection of probabilistic and/or non-probabilistic Boolean clauses (disjunctions of literals)" class="class"></a><a href="BooleanFormulaWithCosts.html" title="A collection of probabilistic and/or non-probabilistic Boolean clauses (disjunctions of literals)">BooleanFormulaWithCosts</a></li><li class="current-entities indented1"><span class="separator"></span> <a href="BooleanLiteral.html" title="A literal, represented as a positive or negative i