[[["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,["# integer\n\nC++ Reference: integer\n======================\n\n\nNote: This documentation is automatically generated.\n\n| Classes ------- ||\n|--------------------------------------------------------------------------------------------|---|\n| [GenericLiteralWatcher](/optimization/reference/sat/integer/GenericLiteralWatcher) |\n| [IntegerEncoder](/optimization/reference/sat/integer/IntegerEncoder) |\n| [IntegerTrail](/optimization/reference/sat/integer/IntegerTrail) |\n| [PropagatorInterface](/optimization/reference/sat/integer/PropagatorInterface) |\n| [RevIntegerValueRepository](/optimization/reference/sat/integer/RevIntegerValueRepository) |\n| [RevIntRepository](/optimization/reference/sat/integer/RevIntRepository) |"]]