[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2024-08-06 UTC."],[[["\u003cp\u003eThis documentation outlines classes related to integer handling within the SAT (satisfiability) problem domain.\u003c/p\u003e\n"],["\u003cp\u003eThe listed classes provide functionalities such as integer encoding, propagation, and value tracking for optimization purposes.\u003c/p\u003e\n"],["\u003cp\u003eDevelopers can leverage these classes to build and manipulate integer representations within constraint programming and optimization tasks.\u003c/p\u003e\n"]]],["The document outlines C++ classes related to integer handling within an optimization context. Key components include: `GenericLiteralWatcher` for monitoring literals, `IntegerEncoder` for integer encoding, `IntegerTrail` for tracking integer state, and `PropagatorInterface` for propagation. Additionally, `RevIntegerValueRepository` and `RevIntRepository` handle the management and storage of integer values and reversible integers, respectively. These classes represent fundamental actions and data structures for managing integer-based constraints and their associated information.\n"],null,[]]
