Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: pb_constraint
Note: This documentation is automatically generated.
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."],[[["\u003cp\u003eThe \u003ccode\u003epb_constraint\u003c/code\u003e library provides tools for working with pseudo-Boolean constraints, a type of constraint frequently encountered in optimization problems.\u003c/p\u003e\n"],["\u003cp\u003eThe library includes core classes like \u003ccode\u003ePbConstraints\u003c/code\u003e for managing collections of constraints, and specific constraint types like \u003ccode\u003eUpperBoundedLinearConstraint\u003c/code\u003e for defining constraints in the form of linear inequalities.\u003c/p\u003e\n"],["\u003cp\u003eSeveral utility classes, such as \u003ccode\u003eCanonicalBooleanLinearProblem\u003c/code\u003e and \u003ccode\u003eVariableWithSameReasonIdentifier\u003c/code\u003e, support advanced constraint manipulation and problem formulation.\u003c/p\u003e\n"]]],["The core content defines several classes related to pseudo-Boolean constraints in C++. `CanonicalBooleanLinearProblem` likely deals with linear problems involving Boolean variables. `MutableUpperBoundedLinearConstraint` and `UpperBoundedLinearConstraint` manage linear constraints with upper bounds. `PbConstraints` likely represents a collection or a manager of such constraints. `VariableWithSameReasonIdentifier` is another class, likely managing variable with same reason identifier. These classes collectively are used to manage and work with constraints.\n"],null,["# pb_constraint\n\nC++ Reference: pb_constraint\n============================\n\n\nNote: This documentation is automatically generated.\n\n| Classes ------- ||\n|----------------------------------------------------------------------------------------------------------------------|---|\n| [CanonicalBooleanLinearProblem](/optimization/reference/sat/pb_constraint/CanonicalBooleanLinearProblem) |\n| [MutableUpperBoundedLinearConstraint](/optimization/reference/sat/pb_constraint/MutableUpperBoundedLinearConstraint) |\n| [PbConstraints](/optimization/reference/sat/pb_constraint/PbConstraints) |\n| [UpperBoundedLinearConstraint](/optimization/reference/sat/pb_constraint/UpperBoundedLinearConstraint) |\n| [VariableWithSameReasonIdentifier](/optimization/reference/sat/pb_constraint/VariableWithSameReasonIdentifier) |"]]
