SatPostsolver Member List

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

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