operations_research::sat::BinaryClauseManager Class Reference

A simple class to manage a set of binary clauses. More...

Detailed Description

A simple class to manage a set of binary clauses.

Definition at line 414 of file clause.h.

#include <clause.h>

Public Member Functions
	BinaryClauseManager ()=default
	BinaryClauseManager (const BinaryClauseManager &)=delete
	This type is neither copyable nor movable.
BinaryClauseManager &	operator= (const BinaryClauseManager &)=delete
int	NumClauses () const
bool	Add (BinaryClause c)
const std::vector< BinaryClause > &	newly_added () const
	Returns the newly added BinaryClause since the last ClearNewlyAdded() call.
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

This type is neither copyable nor movable.

Member Function Documentation

Add()

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

inline

Adds a new binary clause to the manager and returns true if it wasn't already present.

Definition at line 426 of file clause.h.

ClearNewlyAdded()

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

inline

Definition at line 439 of file clause.h.

newly_added()

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

inline

Returns the newly added BinaryClause since the last ClearNewlyAdded() call.

Definition at line 438 of file clause.h.

NumClauses()

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

inline

Definition at line 422 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:

• ortools/sat/clause.h