operations_research::sat::SatPostsolver Member List

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

Add(Literal x, absl::Span< const Literal > clause)	operations_research::sat::SatPostsolver
ApplyMapping(const util_intops::StrongVector< BooleanVariable, BooleanVariable > &mapping)	operations_research::sat::SatPostsolver
assignment()	operations_research::sat::SatPostsolver	inline
Clause(int i) const	operations_research::sat::SatPostsolver	inline
ExtractAndPostsolveSolution(const SatSolver &solver)	operations_research::sat::SatPostsolver
FixVariable(Literal x)	operations_research::sat::SatPostsolver
NumClauses() const	operations_research::sat::SatPostsolver	inline
operator=(const SatPostsolver &)=delete	operations_research::sat::SatPostsolver
PostsolveSolution(const std::vector< bool > &solution)	operations_research::sat::SatPostsolver
SatPostsolver(int num_variables)	operations_research::sat::SatPostsolver	explicit
SatPostsolver(const SatPostsolver &)=delete	operations_research::sat::SatPostsolver