OR-Tools  8.2
SatPresolver Member List

This is the complete list of members for SatPresolver, including all inherited members.

AddBinaryClause(Literal a, Literal b)SatPresolver
AddClause(absl::Span< const Literal > clause)SatPresolver
Clause(ClauseIndex ci) constSatPresolverinline
ClauseIndex typedefSatPresolver
CrossProduct(Literal x)SatPresolver
LoadProblemIntoSatSolver(SatSolver *solver)SatPresolver
NumClauses() constSatPresolverinline
NumVariables() constSatPresolverinline
Presolve()SatPresolver
Presolve(const std::vector< bool > &var_that_can_be_removed, bool log_info=false)SatPresolver
PresolveWithBva()SatPresolver
ProcessClauseToSimplifyOthers(ClauseIndex clause_index)SatPresolver
SatPresolver(SatPostsolver *postsolver)SatPresolverinlineexplicit
SetDratProofHandler(DratProofHandler *drat_proof_handler)SatPresolverinline
SetEquivalentLiteralMapping(const absl::StrongVector< LiteralIndex, LiteralIndex > &mapping)SatPresolverinline
SetNumVariables(int num_variables)SatPresolver
SetParameters(const SatParameters &params)SatPresolverinline
SetTimeLimit(TimeLimit *time_limit)SatPresolverinline
VariableMapping() constSatPresolver