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) 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)	SatPresolver
PresolveWithBva()	SatPresolver
ProcessClauseToSimplifyOthers(ClauseIndex clause_index)	SatPresolver
SatPresolver(SatPostsolver *postsolver, SolverLogger *logger)	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 &params)	SatPresolver	inline
SetTimeLimit(TimeLimit *time_limit)	SatPresolver	inline
VariableMapping() const	SatPresolver