![]() |
OR-Tools
8.2
|
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) const | SatPresolver | inline |
ClauseIndex typedef | SatPresolver | |
CrossProduct(Literal x) | SatPresolver | |
LoadProblemIntoSatSolver(SatSolver *solver) | SatPresolver | |
NumClauses() const | SatPresolver | inline |
NumVariables() const | SatPresolver | inline |
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) | SatPresolver | inlineexplicit |
SetDratProofHandler(DratProofHandler *drat_proof_handler) | SatPresolver | inline |
SetEquivalentLiteralMapping(const absl::StrongVector< LiteralIndex, LiteralIndex > &mapping) | SatPresolver | inline |
SetNumVariables(int num_variables) | SatPresolver | |
SetParameters(const SatParameters ¶ms) | SatPresolver | inline |
SetTimeLimit(TimeLimit *time_limit) | SatPresolver | inline |
VariableMapping() const | SatPresolver |