![]() |
OR-Tools
8.2
|
Public Member Functions | |
BinaryClauseManager () | |
int | NumClauses () const |
bool | Add (BinaryClause c) |
const std::vector< BinaryClause > & | newly_added () const |
void | ClearNewlyAdded () |
|
inline |
|
inline |
|
inline |