C++ Reference: boolean_problem

Note: This documentation is automatically generated.

Function	Type	Arguments	Comments
`AddObjectiveConstraint`	Return type: `bool` Arguments: `const LinearBooleanProblem& problem, bool use_lower_bound, Coefficient lower_bound, bool use_upper_bound, Coefficient upper_bound, SatSolver* solver`
`AddObjectiveUpperBound`	Return type: `bool` Arguments: `const LinearBooleanProblem& problem, Coefficient upper_bound, SatSolver* solver`
`AddOffsetAndScaleObjectiveValue`	Return type: `inline double` Arguments: `const LinearBooleanProblem& problem, Coefficient v`
`ApplyLiteralMappingToBooleanProblem`	Return type: `void` Arguments: `const absl::StrongVector<LiteralIndex, LiteralIndex>& mapping, LinearBooleanProblem* problem`
`BooleanProblemToCpModelproto`	Return type: `CpModelProto` Arguments: `const LinearBooleanProblem& problem`
`ChangeOptimizationDirection`	Return type: `void` Arguments: `LinearBooleanProblem* problem`
`ComputeObjectiveValue`	Return type: `Coefficient` Arguments: `const LinearBooleanProblem& problem, const std::vector<bool>& assignment`
`ExtractAssignment`	Return type: `void` Arguments: `const LinearBooleanProblem& problem, const SatSolver& solver, std::vector<bool>* assignment`
`ExtractSubproblem`	Return type: `void` Arguments: `const LinearBooleanProblem& problem, const std::vector<int>& constraint_indices, LinearBooleanProblem* subproblem`
`FindLinearBooleanProblemSymmetries`	Return type: `void` Arguments: `const LinearBooleanProblem& problem, std::vector<std::unique_ptr<SparsePermutation>>* generators`
`IsAssignmentValid`	Return type: `bool` Arguments: `const LinearBooleanProblem& problem, const std::vector<bool>& assignment`
`LinearBooleanProblemToCnfString`	Return type: `std::string` Arguments: `const LinearBooleanProblem& problem`
`LoadAndConsumeBooleanProblem`	Return type: `bool` Arguments: `LinearBooleanProblem* problem, SatSolver* solver`
`LoadBooleanProblem`	Return type: `bool` Arguments: `const LinearBooleanProblem& problem, SatSolver* solver`
`MakeAllLiteralsPositive`	Return type: `void` Arguments: `LinearBooleanProblem* problem`
`ProbeAndSimplifyProblem`	Return type: `void` Arguments: `SatPostsolver* postsolver, LinearBooleanProblem* problem`
`StoreAssignment`	Return type: `void` Arguments: `const VariablesAssignment& assignment, BooleanAssignment* output`
`UseObjectiveForSatAssignmentPreference`	Return type: `void` Arguments: `const LinearBooleanProblem& problem, SatSolver* solver`
`ValidateBooleanProblem`	Return type: `absl::Status` Arguments: `const LinearBooleanProblem& problem`