C++ Reference: boolean_problem

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 gtl::ITIVector<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: util::Status

Arguments: const LinearBooleanProblem& problem

Send feedback about...