Stay organized with collections
Save and categorize content based on your preferences.
C++ Reference: integer_expr
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."],[],["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"],null,[]]
