operations_research::sat::BinaryClauseManager Class Reference

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

#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 ()

Detailed Description

A simple class to manage a set of binary clauses.

Definition at line 404 of file clause.h.

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 416 of file clause.h.

ClearNewlyAdded()

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

inline

Definition at line 429 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 428 of file clause.h.

NumClauses()

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

inline

Definition at line 412 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