![]() |
OR-Tools
8.2
|
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 |