operations_research::sat::ClauseIdGenerator Class Reference

Detailed Description

Definition at line 264 of file sat_base.h.

#include <sat_base.h>

Public Member Functions
ClauseId	GetNextId ()

Member Function Documentation

GetNextId()

ClauseId operations_research::sat::ClauseIdGenerator::GetNextId ( )

inline

Definition at line 266 of file sat_base.h.

---

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

• ortools/sat/sat_base.h