Stay organized with collections
Save and categorize content based on your preferences.
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 |
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 |
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2024-08-06 UTC.
[null,null,["Last updated 2024-08-06 UTC."],[],["This document details functions for managing and manipulating `LinearBooleanProblem` objects within the OR-Tools C++ library. Key actions include adding objective constraints or upper bounds, adjusting objective values, and converting between problem formats. Other operations include: mapping literals, changing optimization direction, computing objective values, extracting assignments or subproblems, finding symmetries, validating the boolean problem, loading problems, making literals positive, and using objectives for preferences. There are also some functions to store and probe the problems.\n"],null,[]]
