OR-Tools  8.2
BinaryClauseManager

Detailed Description

Definition at line 384 of file clause.h.

Public Member Functions

 BinaryClauseManager ()
 
int NumClauses () const
 
bool Add (BinaryClause c)
 
const std::vector< BinaryClause > & newly_added () const
 
void ClearNewlyAdded ()
 

Constructor & Destructor Documentation

◆ BinaryClauseManager()

BinaryClauseManager ( )
inline

Definition at line 386 of file clause.h.

Member Function Documentation

◆ Add()

bool Add ( BinaryClause  c)
inline

Definition at line 391 of file clause.h.

◆ ClearNewlyAdded()

void ClearNewlyAdded ( )
inline

Definition at line 404 of file clause.h.

◆ newly_added()

const std::vector< BinaryClause > & newly_added ( ) const
inline

Definition at line 403 of file clause.h.

◆ NumClauses()

int NumClauses ( ) const
inline

Definition at line 387 of file clause.h.


The documentation for this class was generated from the following file: