C++ Reference: integer_expr
Note: This documentation is automatically generated.
- 本页内容
- Classes
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."],[[["The C++ Reference for `integer_expr` provides classes for handling integer expressions within the optimization/sat domain."],["These classes include functionalities like division, modulo, sum, equality, minimum, and product propagators."],["Each class offers specific methods for constraint propagation and optimization related to integer expressions."]]],["The core content details various classes within the C++ `integer_expr` reference, specifically related to optimization and SAT (Satisfiability) problems. The classes include propagators for division (`DivisionPropagator`, `FixedDivisionPropagator`, `FixedModuloPropagator`), managing sums and inequalities (`IntegerSumLE`), handling equality constraints at a base level (`LevelZeroEquality`), minimum calculations (`LinMinPropagator`, `MinPropagator`), products (`ProductPropagator`), and squares (`SquarePropagator`). These classes are integral components for managing and propagating constraints within integer-based expressions.\n"]]