operations_research::sat::ClauseManager::Watcher Struct Reference

Detailed Description

Definition at line 380 of file clause.h.

#include <clause.h>

Public Member Functions
	Watcher ()=default
	Watcher (SatClause *c, Literal b, int i=2)

Public Attributes
Literal	blocking_literal
int32_t	start_index
SatClause *	clause

Constructor & Destructor Documentation

Watcher() [1/2]

operations_research::sat::ClauseManager::Watcher::Watcher ( )

default

Watcher() [2/2]

operations_research::sat::ClauseManager::Watcher::Watcher ( SatClause * c, Literal b, int i = 2 )

inline

Definition at line 382 of file clause.h.

Member Data Documentation

blocking_literal

Literal operations_research::sat::ClauseManager::Watcher::blocking_literal

Definition at line 387 of file clause.h.

clause

SatClause* operations_research::sat::ClauseManager::Watcher::clause

Definition at line 400 of file clause.h.

start_index

int32_t operations_research::sat::ClauseManager::Watcher::start_index

Definition at line 398 of file clause.h.

---

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

• ortools/sat/clause.h