Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::BinaryClauseManager Class Reference

Detailed Description

Definition at line 540 of file clause.h.

#include <clause.h>

Public Member Functions

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

Constructor & Destructor Documentation

◆ BinaryClauseManager() [1/2]

operations_research::sat::BinaryClauseManager::BinaryClauseManager ( )
default

◆ BinaryClauseManager() [2/2]

operations_research::sat::BinaryClauseManager::BinaryClauseManager ( const BinaryClauseManager & )
delete

Member Function Documentation

◆ Add()

bool operations_research::sat::BinaryClauseManager::Add ( BinaryClause c)
inline

Definition at line 552 of file clause.h.

◆ ClearNewlyAdded()

void operations_research::sat::BinaryClauseManager::ClearNewlyAdded ( )
inline

Definition at line 565 of file clause.h.

◆ newly_added()

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

Definition at line 564 of file clause.h.

◆ NumClauses()

int operations_research::sat::BinaryClauseManager::NumClauses ( ) const
inline

Definition at line 548 of file clause.h.

◆ operator=()

BinaryClauseManager & operations_research::sat::BinaryClauseManager::operator= ( const BinaryClauseManager & )
delete
The documentation for this class was generated from the following file: