OR-Tools  8.2
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) constSatPostsolverinline
ExtractAndPostsolveSolution(const SatSolver &solver)SatPostsolver
FixVariable(Literal x)SatPostsolver
NumClauses() constSatPostsolverinline
PostsolveSolution(const std::vector< bool > &solution)SatPostsolver
SatPostsolver(int num_variables)SatPostsolverexplicit