[[["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\u003eThe \u003ccode\u003eBinaryClauseManager\u003c/code\u003e class in C++ is designed for managing a collection of binary clauses.\u003c/p\u003e\n"],["\u003cp\u003eIt provides methods to add clauses (\u003ccode\u003eAdd\u003c/code\u003e), check the number of existing clauses (\u003ccode\u003eNumClauses\u003c/code\u003e), and access recently added clauses (\u003ccode\u003enewly_added\u003c/code\u003e).\u003c/p\u003e\n"],["\u003cp\u003eThe \u003ccode\u003eClearNewlyAdded\u003c/code\u003e function resets the tracking of newly added clauses, and the \u003ccode\u003enewly_added\u003c/code\u003e method provides access to those clauses before the reset.\u003c/p\u003e\n"]]],["The `BinaryClauseManager` class manages a set of binary clauses. Key actions include: `Add`, which adds a new binary clause and returns `true` if unique; `ClearNewlyAdded`, which resets the list of recently added clauses; and `newly_added`, which returns a list of these newly added clauses. `NumClauses` returns the number of clauses. The `BinaryClauseManager` constructor is also present.\n"],null,["# BinaryClauseManager\n\nC++ Reference: class BinaryClauseManager\n========================================\n\n\nNote: This documentation is automatically generated.\nA simple class to manage a set of binary clauses.\n\n| Method ||\n|-------------------------------------------------------------------------------------------------|-----------------------------------------------------------------------------------------------------------------------------------------|\n| [`Add`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/clause.h#L392) | Return type: `bool ` Arguments: `BinaryClause c` Adds a new binary clause to the manager and returns true if it wasn't already present. |\n| [`BinaryClauseManager`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/clause.h#L387) | \u003cbr /\u003e |\n| [`ClearNewlyAdded`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/clause.h#L405) | Return type: `void ` \u003cbr /\u003e |\n| [`newly_added`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/clause.h#L404) | Return type: `const std::vector\u003cBinaryClause\u003e& ` Returns the newly added BinaryClause since the last ClearNewlyAdded() call. |\n| [`NumClauses`](https://github.com/google/or-tools/blob/v9.4/ortools/sat/clause.h#L388) | Return type: `int ` \u003cbr /\u003e |"]]
