OR-Tools  8.2
LiteralWatchers::Watcher

Detailed Description

Definition at line 287 of file clause.h.

Public Member Functions

 Watcher ()
 
 Watcher (SatClause *c, Literal b, int i=2)
 

Public Attributes

Literal blocking_literal
 
int32 start_index
 
SatClauseclause
 

Constructor & Destructor Documentation

◆ Watcher() [1/2]

Watcher ( )
inline

Definition at line 288 of file clause.h.

◆ Watcher() [2/2]

Watcher ( SatClause c,
Literal  b,
int  i = 2 
)
inline

Definition at line 289 of file clause.h.

Member Data Documentation

◆ blocking_literal

Literal blocking_literal

Definition at line 294 of file clause.h.

◆ clause

SatClause* clause

Definition at line 307 of file clause.h.

◆ start_index

int32 start_index

Definition at line 305 of file clause.h.


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