operations_research::sat::SatPresolver Member List

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

AddBinaryClause(Literal a, Literal b)	operations_research::sat::SatPresolver
AddClause(absl::Span< const Literal > clause)	operations_research::sat::SatPresolver
Clause(ClauseIndex ci) const	operations_research::sat::SatPresolver	inline
ClauseIndex typedef	operations_research::sat::SatPresolver
CrossProduct(Literal x)	operations_research::sat::SatPresolver
LoadProblemIntoSatSolver(SatSolver *solver)	operations_research::sat::SatPresolver
NumClauses() const	operations_research::sat::SatPresolver	inline
NumVariables() const	operations_research::sat::SatPresolver	inline
operator=(const SatPresolver &)=delete	operations_research::sat::SatPresolver
Presolve()	operations_research::sat::SatPresolver
Presolve(const std::vector< bool > &var_that_can_be_removed)	operations_research::sat::SatPresolver
PresolveWithBva()	operations_research::sat::SatPresolver
ProcessClauseToSimplifyOthers(ClauseIndex clause_index)	operations_research::sat::SatPresolver
SatPresolver(SatPostsolver *postsolver, SolverLogger *logger)	operations_research::sat::SatPresolver	inlineexplicit
SatPresolver(const SatPresolver &)=delete	operations_research::sat::SatPresolver
SetDratProofHandler(DratProofHandler *drat_proof_handler)	operations_research::sat::SatPresolver	inline
SetEquivalentLiteralMapping(const util_intops::StrongVector< LiteralIndex, LiteralIndex > &mapping)	operations_research::sat::SatPresolver	inline
SetNumVariables(int num_variables)	operations_research::sat::SatPresolver
SetParameters(const SatParameters &params)	operations_research::sat::SatPresolver	inline
SetTimeLimit(TimeLimit *time_limit)	operations_research::sat::SatPresolver	inline
VariableMapping() const	operations_research::sat::SatPresolver